News for hackers. Stuff that matters.

A comment on Logic Puzzles with Prolog (2017). Parent comment

Re:Logic Puzzles with Prolog (2017) by dreamcompiler on Wednesday November 20, 2019 @07:15PM (#21590098)
Prolog has constraints but they're limited to "equality" for some notion of that word. Constraint solvers and constraint extensions to Prolog broaden that considerably.
[ Parent | on HN ]
Re:Logic Puzzles with Prolog (2017) by YeGoblynQueenne on Thursday November 21, 2019 @05:29AM (#21592858)
Do you mean the equality predicates, like ==/2 or =:=/2 etc, or do you mean unification? I dont' really think of unification as a constraint but, I don't know, maybe you have a point.
[ Parent | on HN ]
Re:Logic Puzzles with Prolog (2017) by dreamcompiler on Thursday November 21, 2019 @10:47AM (#21595281)
Yes I was talking about unification. When you can expand what unification means and program how it works, you have a real constraint system.
[ Parent | on HN ]