Day 2: Practical Session
Getting Started
Matching: the built-in
predicates
= and \=. |
| Trace: watching how Prolog works. |
| A very simple sentence generator. |
Basic Exercises
| Finding paths through a maze. |
| A representation of natural numbers. |
| Traveling by car, train, and plane. |
A puzzle
| Crossword puzzle. |
One Step Further
| Recursion: the effects of changing the order of clauses and goals. |
| Cut |