VAN LE, T. TECHNIQUES OF PROLOG PROGRAMMING WITH IMPLEMENTATION OF LOGICAL NEGATION AND QUANTIFIED GOALS - NEW YORK : JOHN WILEY 1993 - 601 p. ISBN: 0000471559700 Subjects--Topical Terms: PROGRAMMING LANGUAGES: PROLOG Dewey Class. No.: 005.115 / V15