TECHNIQUES OF PROLOG PROGRAMMING WITH IMPLEMENTATION OF LOGICAL NEGATION AND QUANTIFIED GOALS - VAN LE, T. (NEW YORK : JOHN WILEY, 1993)
Keywords: PROGRAMMING LANGUAGES: PROLOG