% Auteur:
% Date: 23/11/2010

p(a) <--
r(b) <--
q(X,Y) <-- p(X).
q(X,Y) <-- r(X), p(Y).

p(X,Y) <-- q(X,Z), R(Z,Y)
p(X,Y) <-- r(X,Y)
q(X,Y) <-- r(Y,X)
r(a,b) <--

%help(Predicat)
%apropos(Mot)