PPT Slide

mem1(2,[1,2,3])

A

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

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

*

mem1 search trace - 1

Does not match A

Previous slide

Next slide

Back to first slide

View graphic version