Day 1: Practical Session
Getting Started
| Starting Prolog. |
| Loading and querying knowledge bases. |
| Writing knowledge bases. |
| Interpreting the error messages and warnings that Prolog may give you. |
halt.
Basic Exercises
| The Gryffindor table |
| Family relationships |
| Tomorrow's lunch |
One Step Further
| Recursive predicate definitions |
| Negation |
| Built-in predicates for testing whether a given term is of a particular type |