Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
% Some simple test Prolog programs % -------------------------------- % Knowledge bases loves(vincent, mia). loves(marcellus, mia). loves(pumpkin, honey_bunny). loves(honey_bunny, pumpkin). jealous(X, Y) :- loves(X, Z), loves(Y, Z). /** <examples> ?- loves(X, mia). ?- jealous(X, Y). */