File: list.lgt

package info (click to toggle)
yap 5.1.1-3
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 16,124 kB
  • ctags: 14,650
  • sloc: ansic: 122,796; perl: 22,545; sh: 3,768; java: 1,277; makefile: 1,191; xml: 739; tcl: 624; lisp: 142; awk: 9
file content (9 lines) | stat: -rw-r--r-- 158 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
 
:- module(list, [contained/2, notcontained/2]).

contained(H, [H| _]).
contained(H, [_| T]) :-
	contained(H, T).

notcontained(H, L) :-
	\+ contained(H, L).