:- dynamic(parent/2). %allow for dynamic entries parent(pam, bob). parent(tom, bob). parent(tom, liz). parent(bob, ann). parent(bob, pat). parent(pat, jim). /* pam tom \ / \ bob liz / \ ann pat \ jim */