News for hackers. Stuff that matters.

A comment on Learn Prolog Now. Parent comment

Re:Learn Prolog Now by nutjob2 on Wednesday November 12, 2025 @03:29PM (#45906109)
That's not true, the 'brute force' part is searching for a shortcut that works.
[ Parent | on HN ]
Re:Learn Prolog Now by numpy-thagoras on Wednesday November 12, 2025 @05:28PM (#45907746)
The brute force got reduced down to fast heuristics, like Arthur Benjamin's Mathemagics.
[ Parent | on HN ]