Learn Prolog Now!

Patrick Blackburn, Johan Bos and Kristina Striegnitz

• Table of Contents

• 1 Facts, Rules, and Queries

• 2 Matching and Proof Search

• 3 Recursion

• 4 Lists

• 5 Arithmetic

• 6 More Lists

• 7 Definite Clause Grammars

• 8 More Definite Clause Grammars

• 9 A Closer Look at Terms

• 10 Cuts and Negation

• 11 Database Manipulation and Collecting Solutions

• 12 Working With Files