News for hackers. Stuff that matters.

A comment on The Art of Prolog, Second Edition. Parent comment

Re:The Art of Prolog, Second Edition by radiator on Wednesday October 10, 2018 @04:23PM (#18188504)
Hmmm... perhaps Prolog and Lisp?
[ Parent | on HN ]
Re:The Art of Prolog, Second Edition by protomyth on Wednesday October 10, 2018 @05:14PM (#18188960)
Like in The Reasoned Schemer? https://mitpress.mit.edu/books/reasoned-schemer
[ Parent | on HN ]
Re:The Art of Prolog, Second Edition by yazr on Wednesday October 10, 2018 @04:35PM (#18188595)
As in, "fill-in-the-spaces will soon free us from the tyranny of imperative programming"...
[ Parent | on HN ]
Re:The Art of Prolog, Second Edition by paulmd on Wednesday October 10, 2018 @05:08PM (#18188909)
> Hmmm... perhaps Prolog and Lisp?

"when the proof search accidentally returns the trivial case"

[ Parent | on HN ]