Programmieren in Prolog - Clocksin, Wiliam F.; Mellish, Christopher S. (Informationstechnik und Datenverarbeitung, 1990)