TY  - BOOK
AU  - Kaushik, Saroj 
TI  - Logic and Prolog Programming
SN  - 9788122414097
U1  - 005.13 KAU 23rd
PY  - 2002///
CY  - New Delhi
PB  - New Age International (P) Ltd.
KW  - Logic programming
KW  - Prolog (Computer program language); Artificial intelligence--Data processing
N1  - This book presents a systematic exposition of Formal Logic, evolution of Logic Programming and the features of Prolog programming language. It covers both Propositional and Predicate logic and explains various approaches towards validity, inconsistency of logic formulae and problem solving; it includes preface, acknowledgements, Contents, References [301-302], Appendix [303-3190 and index pages
UR  - https://newagepublishers.com/servlet/nadispinfo?offset=0&searchtype=Keywords&title=Logic+and+Prolog+Programming&author=&isbn=&keyword=
ER  -