TY  - BOOK
AU  - Van Le,T.
TI  - Techniques of PROLOG programming with implementation of logical negation and quantified goals
SN  - 047157175X
PY  - 1993///
CY  - New York
PB  - Wiley
KW  - PROLOG (Computer programme language)
KW  - Negation (Logic)
N1  - Systems programmes copied onto 2 floppy diskettes for loaning purposes. The 3.5 inch diskette held for safety purposes by the library; Includes bibliography: p. [585-593] and index
ER  -