Symbolic Logic and Logic Processing by Bindu Bansal

Artificial Intelligence is a blend of three main academic disciplines namely psychology (cognitive science), philosophy (mind) and computer science with further strands from mathematics, logic and linguistics. Symbolic Logic and Logic Processing is primarily designed for post graduate and graduate students of computer sicence, compiler engineering, computer applications and information technology.

Salient features of the book:
Simple and understandable language is used throughout the book.
The book covers almost all essential components of AI and knowledge based systems and syllabus of various unviersities of India.
It includes concepts of AI as well as logic programming PROLOG.