% PCL1 WS2004/2005 Uebungen 5 % 1) /* a) ?- term(a,B) = term(b,b); a = B. b) ?- \+ term(A,b) = term(a,c). c) ?- (\+ \+ term(X) = term(a)), X = b. d) ?- ','(=(B,b),=(a,A)). e) ?- ( A = b, !, fail ; C = c). */ % 2) twice(Goal) :- once(Goal). twice(Goal) :- once(Goal). person(hans). person(gerda). person(frieda). % 3) p(p1). p(p2) :- q(_), !, r(_). p(p3). q(q1). q(q2). r(r1). r(r2). % 4) pn(peter). pn(mary). vt(likes). vt(like). det(the). det(a). pro(he). pro(they). pro(him). pro(them). n(birds). n(king).