Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals T. Van Le November 1992, 624 Pages ISBN: 978-0-471-57175-9