domains
   p_name, c_name = symbol

predicates
   parent(symbol, symbol)
   predecessor(p_name, c_name)


clauses
   parent(ellen, tom).
   parent(john, judy).
   parent(tom, ellen).
  
   predecessor(X, Y) :-
     parent(X, Z), predecessor(Z, Y).