Helsinki Prolog system (HPS) - system overview - Kilpeläinen, Pekka (University of Helsinki, 1987)