A Computer Tutor for Logic Semantics
Rowe, Neil C.
MetadataShow full item record
We report on a computer tutor for the semantics of the Prolog subset of predicate calculus. It gives students statements in English to represent in a single line of Prolog, parses their answers, and compares the parses to the parses of correct answers. The tutor focuses on the correct choice of predicates, variables, and links between expressions. Tests show that students learn predicate calculus significantly better using the tutor than with paper and pencil exercises.
IEEE Frontiers in Education Conference, San Juan, PR, November 10-13, 1999