Prolog Programming (Volume 4)
Prolog Programming (Volume 4). Dr W.F. Clocksin. Backtracking and Nondeterminism. member(X, [X|_]). member(X, [_|T]) :- member(X, T). ?- member(fred, [john, fred, paul, fred]). yes ?- member(X, [john, fred, paul, fred]). X = john; X = fred; X = paul; X = fred; no. Deterministic query.
487 views • 33 slides