father(leonard,katherine).
  father(carl,jason).
  father(carl,marilyn).
  everybody:-
	father(X,Y),
	display(user_output, X).
  everybody.