% PCL1 WS2000/2001 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)

s(1).
s(2) :- q(_), !, r(_).
s(3).

q(1).
q(2).

r(1).
r(2).


% 4)

pn(peter).
pn(mary).

vt(likes).
vt(like).
vt(loves).

det(the).
det(a).

pro(he).
pro(they).
pro(him).
pro(them).

n(birds).
n(king).