TY  - BOOK
AU  - Le,Tu Van
TI  - Techniques of prolog programming: with implementation of logical negation and quantified goals 
SN  - 0471599700
PY  - 1993///
CY  - New York
PB  - John Wiley & Sons
KW  - Prolog (Computer program language)
KW  - Negation (Logic)
N1  - 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
ER  -