sandbox/lpn/ch01/kb5.pl

12 lines
221 B
Perl
Raw Permalink Normal View History

2018-01-16 17:46:44 +00:00
loves(vincent,mia).
loves(marsellus,mia).
loves(pumpkin,honey_bunny).
loves(honey_bunny,pumpkin).
/**
* original definition:
* jealous(X,Y):- loves(X,Z), loves(Y,Z).
*/
jealous(X,Y):- loves(X,Z), loves(Y,Z), X \= Y.