% From The Art of EyeProlog, Chapter 3 — The Herbrand world.
parent(pat, jan).
