Programmieren in Prolog - Clocksin, Wiliam F.; Mellish, Christopher S. (Berlin ; Heidelberg ; New York : Springer Verlag, 1990)