Suche Home Einstellungen Konto Hilfe   Benutzer: gast • Besitzer: mthomas • Zuletzt geändert am: 2010/11/04 10:51:49

kind(anne).
kind(emil).
kind(gustav).
kind(fritz).
behauptet(anne, emil).
behauptet(emil, gustav).
behauptet(fritz, emil).
behauptet(fritz, gustav).
behauptet(fritz, anne).
behauptet(gustav,X) :- not (behauptet(emil,X)).
wahrheit_schuldig(K1,S) :- kind(S), kind(K1), kind(K2), kind(K3), kind(K4),
K1\==K2, K1\==K3, K1\==K4, K2\==K3, K2\==K4, K3\==K4,
behauptet(K1,S),
not (behauptet(K2, S)),
not (behauptet(K3, S)),
not (behauptet(K4, S)).