Lab 2 Marking Scheme
- Showing it to lab supervisor.
- Initial fact rule asserting A.
- A->B, and B->C rule.
- Running chain.
- Stepping.
- Printing.
- A rule with two LHS clauses.
- Use of the or operator and not operator.
- A good version of your own system.
- An explanation of when rules apply.
