Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- loves(vincent,mia).
- loves(marcellus, mia).
- loves(pumpkin, honney_bunny).
- loves(honney_bunny, pumpkin).
- % original
- jealous(X, Y) :-
- loves(X, Z),
- loves(Y, Z).
- % 1)
- jealous(X, Y) :-
- loves(X, Z),
- loves(Y, Z),
- X \= Y.
- % 2)
- jealous(X, Y) :-
- X \= Y,
- loves(X, Z),
- loves(Y, Z).
Add Comment
Please, Sign In to add comment