Prolog programming in depth - Covington, Michael A.; Nute, Donald 1947-; Vellino, André (Prentice Hall, 1997)