Visualizing inference process of a rule engine
Proceedings of the 2011 Visual Information Communication - International Symposium
Hi-index | 0.01 |
At Bridgewater State College, Prolog serves as a student's first introduction to programming in a declarative language. Students often find it difficult to understand how Prolog implements logical deduction and handles variable bindings as it processes a query. The authors show snapshots of the deduction process and present a graphical ("jigsaw puzzle") representation of the emerging logical relationships, which our students find to be helpful. Typical parent-child predicate relationships are used as introductory examples.