Techniques of prolog programming : with implementation of logical negation and quantified goals - Le, Tu Van (New York : John Wiley & Sons, 1993)
Book is accompanied by one diskette, entitled'Techniques of prolog programming', bearing the same call number and available at Bahagian Koleksi Media.
Bibliography : p.585-593
System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog.
Keywords: Prolog (Computer program language); Negation (Logic)