3 ms·
As a person not heavily invested in Prolog, can you explain how that works? Is it just branching by choices from the different groups and it backtracks/fails ba
by maaaats 13y ago
As a person not heavily invested in Prolog, can you explain how that works? Is it just branching by choices from the different groups and it backtracks/fails back up to the last choice if constraints are not met?
- kaoD 13y agoPretty much that, yeah. http://en.wikipedia.org/wiki/Unification_%28computer_science%29#Unification_in_logic_programming http://en.wikipedia.org/wiki/Unification_%28computer_science...