Problem solving with prolog - Stobo, John