Prolog programming techniques and applications - Garavaglia, Susan (Harper & Row, 1987)