% Author:
% Date: 16-Sep-16

man(jim).
man(mary).
mortal(X) :- man(X).
likes(X,A) :- man(X), dog(A).

dog(rex).
dog(lassie).