Prolog programming - Marcus, Claudia (California Addison - Wesley, 1986)