3 ms·
Backtracking and unification (logic variables). The latter builds on the former and is key to some of Prolog's amazing capabilities.
by colanderman 7y ago
Backtracking and unification (logic variables). The latter builds on the former and is key to some of Prolog's amazing capabilities.