ESFM: Prolog Expert System for Forestry Management A small expert system developed by Steve Jones of Reading University in 1988 for forestry management. The rules are Prolog clauses. Inference is depth-first, backward-chaining, with no explanations of why ESFM asked a question nor how it came to a conclusion. http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/expert/systems/esfm/0.html

Applications of AI in Education "An overview of the main components of intelligent tutoring systems. A brief summary of different types of ITSs, a detailed discussion of two components, the student model and the pedagogical module. We close by discussing some of the open questions in ITS as well as future directions of the field." Published in Crossroads, the student magazine of the ACM. http://www.acm.org/crossroads/xrds3-1/aied.html