p(a).
r(X,Y) :- p(X),p(Y).

:- use_module('Beispiele/form.pl',[kasus/1]).