% Simple example for testing in Prolog compiler
% swipl from command line
% Inside compiler:
% ['simple.pl'].
% person(bob). 
% returns true
% father(bob,X).
% returns X = sam.
% control c, then e, to exit

person(bob).
father(bob,sam).