The Art of Prolog - exercises setup.