News for hackers. Stuff that matters.
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"

There are no comments on this comment yet.