TY  - BOOK
AU  - Van Le,T.
TI  - Techniques of Prolog programming: with implementation of logical negation and quantified goals 
SN  - 0471599700 (pbk.)
PY  - 1993///
CY  - New York
PB  - Wiley
KW  - Prolog (Computer program language)
KW  - Negation (Logic)
N1  - System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog; Includes index; Includes bibliographical references.
ER  -