Assignments


1. Unification Algorithm

2. Forward Chaining and Backward Chaining