c
, e
, r
, f
(one point for all four)
?- length([1,2,3],Len). ?- append(A,B,[1,2,3]), writeln(A), fail. ?- member(X,[1,2,3]), member(X,[3,4,5]).
p(N)
that prints the numbers between 1 and N
inclusive. It always succeeds. (1½ points)
?- p(3). 1 2 3 true.