Helsinki Prolog language - reference manual - Kilpeläinen, Pekka (University of Helsinki, 1987)