Logic Programming with Prolog

• Κύριος συγγραφέας: Bramer, Max (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2013.
• Έκδοση: 2nd ed. 2013.
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.