Turbo prolog : step by step with Turbo Prolog 2.0 - Cafolla, Ralph (Merrill, 1989)