Techniques of PROLOG Programming with Implementation of Logical Negation and Quantified Goalsby Van Le, T.Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less