The main innovation in KidSim is the way … KidSim combines two powerful ideas: 1. graphical rewrite … [p. 62] A graphical rewrite rule consists of a … [e.g., a monkey and rock] and zero or more property tests. In order for a … all of its property tests must evaluate to … [p. 65] Graphical rewrite rules solve the [problem of representing programs when programming by demonstration], and programming by demonstration solves the rule-semantics problem.
Google-1
Google-2
Copyright clearance needed for quotation.