Verifies if a list has 2 elements. ?- two([a,b]). yes two([_,_]). Verifies if a list has an even number of elements. ?-even([a,b,c,d]). yes even([_,_]). even([_,_|T]):- even(T).