Logic, Programming and Prolog 2nd Edition

Download free book “Logic, Programming and Prolog 2nd Edition” by by Ulf Nilsson and Jan Maluszynski in pdf format. The use of logic as the basis for program development is motivated by the possibilities it offers for achieving greater program correctness.

Book Description

PROLOG is a high-level programming language based on the concept of logic. This text offers a concise treatment of the theory of logic programming and a practical, problem-solving approach to its applications. It introduces major new developments in a continually evolving field, including topics such as concurrency, equational logic programming and constraint logic programming.

Table of Contents

• Definite Logic Programs
• SLD-Resolution
• Negation in Logic Programming
• Towards Prolog: Cut and Arithmetic
• Logic and Databases
• Programming with Recursive Data Structures
• Amalgamating Object- and Meta-language
• Logic and Expert Systems
• Logic and Grammars
• Searching in a State-space
• Logic Programming and Concurrency
• Logic Programs with Equality
• Constraint Logic Programming
• Query-answering in Deductive Databases

Download Free PDF / Read Online