Symbolic Logic & Prolog English 2012

This book provides a comprehensive introduction to symbolic logic concepts such as Propositional and First-Order logic. It also covers The programming language Prolog with suitable examples. At last, This book also covers The concepts of fuzzy logic and neural networks. This book covers The syllabus of The courses in The disciplines of - B. Tech. (Cse) 7th semester, gndu, Amritsar, M. SC (it) 2nd semester, gndu, Amritsar B. Tech. (Cse) 7th semester, ptu, Jalandhar table of content1 - Propositional Logic2 - first order logic3 - representing world knowledge4 - introduction to prolog5 - programming in prolog6 - Recursion7 - structural data Representation8 - unification9 - controlling backtracking10 - built in predicates11 - non-declarative features of prolog12 - resolution13 - fuzzy logic and neural networks appendix questions papers.