"Clause and Effect" by Clocksin. Also, the worked exercises at Ninety-Nine Prolog Problems, https://prof.ti.bfh.ch/hew1/informatik3/prolog/p-99/
Typographic jacket · original cover not fetched
FROM THE SHARED SHELF · 2006–2026 SAMPLE
Clause and Effect
1 reader recommends it across 1 discussion
Topics are model-inferred labels.
Keep it on your reading list
THE WORD OF MOUTH
What made it worth passing on?
Original Hacker News comments, in the readers’ own words.