PPT Slide

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

A

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

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

*

Multiple solutions trace 3

Q = 1

; to reject

solution and force

a backtrack to try

to prove alternatively

Previous slide

Next slide

Back to first slide

View graphic version