Teaching Prolog techniques - Brna, Paul (1991)