Logic and Prolog Programming /
Kaushik, Saroj
Logic and Prolog Programming / Saroj Kaushik - 1st ed. - New Delhi: New Age International (P) Ltd., 2002 - xv, 324p. : ill. ; 24 cm
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.
9788122414097
Logic programming
Prolog (Computer program language); Artificial intelligence--Data processing
005.13 KAU
Logic and Prolog Programming / Saroj Kaushik - 1st ed. - New Delhi: New Age International (P) Ltd., 2002 - xv, 324p. : ill. ; 24 cm
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.
9788122414097
Logic programming
Prolog (Computer program language); Artificial intelligence--Data processing
005.13 KAU