TY  - BOOK
AU  - Kaushik, Saroj.
TI  - Logic and prolog programming
SN  - 8122414095
U1  - 006.3  1
PY  - 2002///
CY  - New Delhi
PB  - New Age International Pvt Ltd
KW  - First order predicate logic
KW  - Advanced features in prolog
KW  - Definite clause grammar and applications
ER  -