PPT Slide

mem(Q,[1,2,3])

A

/*A*/ mem(X,[X|_]).

/*B*/ mem(X,[_|T]) :- mem(X,T).

*

Multiple solutions trace 2

Matches A,

unify [Q|_]with [1,2,3]

Q = 1

Previous slide

Next slide

Back to first slide

View graphic version