Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on The Art of Prolog, Second Edition. Parent comment
"when the proof search accidentally returns the trivial case"
There are no comments on this comment yet.
"when the proof search accidentally returns the trivial case"