Logic Programming with Prolog

✍ Scribed by Max Bramer

• Publisher: Springer
• Year: 2005
• Tongue: English
• Leaves: 229
• Category: Library

✦ Synopsis

Written for those who wish to learn Prolog as a powerful software development tool, but do not necessarily have any background in logic or AI.

Includes a full glossary of the technical terms and self-assessment exercises.

✦ Table of Contents

1852339381......Page 1
Logic Programming with Prolog......Page 3
Introduction......Page 5
Some Technical Details......Page 9
Contents......Page 11
1
Getting Started......Page 14
2
Clauses and Predicates......Page 26
3
Satisfying Goals......Page 41
4
Operators and Arithmetic......Page 69
5
Input and Output......Page 81
6
Loops......Page 96
7
Preventing Backtracking......Page 109
8
Changing the Prolog Database......Page 119
9
List Processing......Page 129
10
String Processing......Page 147
11
More Advanced Features......Page 158
Appendix 1
Built-in Predicates......Page 176
Appendix 2
Built-in Operators......Page 187
Practical Exercise 1......Page 192
Practical Exercise 2......Page 194
Practical Exercise 3......Page 196
Practical Exercise 4......Page 201
Practical Exercise 5......Page 204
Practical Exercise 6......Page 208
Practical Exercise 7......Page 210
Practical Exercise 8......Page 211
Practical Exercise 9......Page 212
Practical Exercise 10......Page 213
Practical Exercise 11......Page 214
Appendix 4
Glossary......Page 215