"VV Square"building, Plot.No.TS 710/1b1 & 2B1, CMC Ward No 18, Moka road, Gandhinagar, Ballari-583 101. 583101 Bellari IN
trendypaper
"VV Square"building, Plot.No.TS 710/1b1 & 2B1, CMC Ward No 18, Moka road, Gandhinagar, Ballari-583 101. Bellari, IN
+918050151380 https://www.trendypaper.com/s/5b1a00c581a9afd8ff765190/ms.settings/5256837ccc4abf1d39000001/5b928defbda50e15d4c76434-480x480.png" [email protected]
9788122414097- 5c65550ab002ad5a827c3c18 Logic and Prolog Programming https://www.trendypaper.com/s/5b1a00c581a9afd8ff765190/ms.products/5c65550ab002ad5a827c3c18/images/5c65550ab002ad5a827c3c19/5c65550cb002ad5a827c3c2e/5c65550cb002ad5a827c3c2e.jpg

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. After explaining the basic concepts and rules in logic, the book present logic programming and introduces Prolog. The various features of Prolog are suitably highlighted and programming techniques are explained in detail with illustrative examples. The book further explains control primitives and meta level programming. The text includes a large number of solved examples to illustrate the concepts and techniques. Review exercises are given at the end of each chapter. The book would serve as an excellent text for undergraduate and postgraduate computer science and engineering students pursuing courses on Artificial Intelligence and Expert Systems.

9788122414097-
out of stock INR 320
New Age International Pvt. Ltd
1 1
Logic and Prolog Programming

Logic and Prolog Programming

Author: Kaushik, Saroj

Brand: New Age International Pvt. Ltd

₹320
₹365   (12% OFF)

Sold Out

Sold By: trendypaper

Description of product

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. After explaining the basic concepts and rules in logic, the book present logic programming and introduces Prolog. The various features of Prolog are suitably highlighted and programming techniques are explained in detail with illustrative examples. The book further explains control primitives and meta level programming. The text includes a large number of solved examples to illustrate the concepts and techniques. Review exercises are given at the end of each chapter. The book would serve as an excellent text for undergraduate and postgraduate computer science and engineering students pursuing courses on Artificial Intelligence and Expert Systems.

Renting Guidelines

Specification of Products

BrandNew Age International Pvt. Ltd

User reviews

  0/5