%sa se verifice daca o lista are nr par de elem
%fara a numara elem
domains
	el=integer
	list=el*
predicates
	par(list)	%(i)
clauses
	par([]).
	par([H|[H1|T]]):-par(T).