PPT Slide

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

mem1(2,[2,3])

B

A

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

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

*

mem1 search trace - 3

A

Matches A!

Yes

Previous slide

Next slide

Back to first slide

View graphic version