Lecture: Expert Systems on Forward Chaining