9f1b358c04
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1486 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
10 lines
158 B
Plaintext
10 lines
158 B
Plaintext
:- module(list, [contained/2, notcontained/2]).
|
|
|
|
contained(H, [H| _]).
|
|
contained(H, [_| T]) :-
|
|
contained(H, T).
|
|
|
|
notcontained(H, L) :-
|
|
\+ contained(H, L).
|
|
|