Plan

Language

1. Terms
2. Facts
3. Queries (Implementation: Unification)
4. Rules
5. Programs (Implementation: Backtracking Search)

Programming

• Numeric Computation
• Data Structures
• Puzzle Solving

Plan

Language

1. Terms
2. Facts
3. Queries (Implementation: Unification)
4. Rules
5. Programs (Implementation: Backtracking Search)

Programming

• Numeric Computation
• Data Structures
• Puzzle Solving

Implementation: Backtracking Search

TBD

Things get more interesting when queries have variables …

Term 1

Definition 1

Term 2 with inline markup

Definition 2

some code, part of Definition 2