Logic Programming with Prolog

• Main Author: Bramer, Max (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London : Imprint: Springer, 2013.
• Edition: 2nd ed. 2013.
• Subjects: Computer science.; Computer programming.; Programming languages (Electronic computers).; Computer Science.; Programming Languages, Compilers, Interpreters.; Programming Techniques.

Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. By far the most widely used Logic Programming language is Prolog. Prolog is a good choice for developing complex applications, especially in...

Table of Contents:

• Introduction
• Getting Started
• Clauses and Predicates
• Satisfying Goals
• Operators and Arithmetic
• Input and Output
• Loops
• Preventing Backtracking
• Changing the Prolog Database
• List Processing
• Strong Processing
• More Advanced Features
• Using Grammar Rules to Analyse English Sentences
• Prolog in Action
• Appendix 1 – Built-in Predicates
• Appendix 2 – Built-in Predicates
• Appendix 3 – Specimen Solutions to Practical Exercises
• Appendix 4 – Glossary
• Index.