Permalink
Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
13 lines (7 sloc) 380 Bytes
/* Add to FAMILY.PL the following two predicates: */
:- consult('../chapter01/family').
/* A predicate cathys_father(X) that instantiates X to the name of Cathy's father. */
cathys_father(X) :- father(X, cathy).
/* A predicate print_cathys_father (with no arguments) that writes the name of
Cathy's father on the screen. */
print_cathys_father :- cathys_father(X), write(X).