% From The Art of EyeProlog, Chapter 1.
child(Child, Parent) :- parent(Parent, Child).