root/trunk/examples/modules/list.lgt

Revision 4601, 158 bytes (checked in by pmoura, 7 weeks ago)

Added svn:mime-type property to source files (set to text/x-logtalk).
  • Property svn:mime-type set to text/x-logtalk
  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
Line 
1:- module(list, [contained/2, notcontained/2]).
2
3contained(H, [H| _]).
4contained(H, [_| T]) :-
5    contained(H, T).
6
7notcontained(H, L) :-
8    \+ contained(H, L).
Note: See TracBrowser for help on using the browser.