% From The Art of Eyepl, Chapter 1.
child(Child, Parent) :- parent(Parent, Child).
query(child(X, Y)).