TY  - BOOK
AU  - Van Le,T.
TI  - Techniques of Prolog programming: with implementation of logical negation and quantified goals 
SN  - 047157175X (paper)
AV  - QA76.73.P76 V36 1993
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 bibliographical references (p. 585-593) and index; Introduction to prolog -- Declarative prolog programming -- Procedural prolog programming -- Control and side-effect features of prolog -- Development of prolog programs -- Advanced programming techniques and data structures -- Search techniques -- Meta-programming in prolog -- Building expert systems in prolog -- Natural language processing in prolog -- System simulation in prolog -- Appendices
ER  -