TY  - BOOK
AU  - VAN LE, T.
TI  - TECHNIQUES OF PROLOG PROGRAMMING WITH IMPLEMENTATION OF LOGICAL NEGATION AND QUANTIFIED GOALS
SN  - 0000471559700
U1  - 005.115 
PB  - NEW YORK : JOHN WILEY
KW  - PROGRAMMING LANGUAGES: PROLOG
ER  -