Techniques of Prolog programming : with implementation of logical negation and quantified goals - Le, T. Van. (New York : Wiley, 1993)
System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog.
Includes bibliographical references (p. 585-593) and index.
Keywords: Negation Logic; Prolog Computer program language