3 ms·
Prolog has constraints but they're limited to "equality" for some notion of that word. Constraint solvers and constraint extensions to Prolog broaden that consi
by dreamcompiler 7y ago
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.
- YeGoblynQueenne 7y agoDo 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.
- dreamcompiler 7y agoYes I was talking about unification. When you can expand what unification means and program how it works, you have a real constraint system.