2 ms·
'Logic Variables' and unification provide a lot of value, even without predicate databases and backtracking/search. Peter Van Roy's book goes into some detail.
by plinkplonk 13y ago
'Logic Variables' and unification provide a lot of value, even without predicate databases and backtracking/search. Peter Van Roy's book goes into some detail.