Das ist ein toller Text.
mann(otto). mann(fritz). frau(erna). frau(duglore). paar(X,Y) :- mann(X), frau(Y).
Quelltext überprüfen:
jetzt prüfen
paar(Er,Sie).
ausführen