The BSU Mathematics and Computer Science Department split into two separate departments in 2012. To browse submissions by department, visit:
Visualizing prolog: A "jigsaw puzzle" approach
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.
Mondshein L., Sattar A., Lorenzen T. (2010). Visualizing prolog: A "jigsaw puzzle" approach. ACM Inroads, 1(4), 43-48. doi: 10.1145/1869746.1869761
Virtual Commons Citation
Mondshein, Lee; Sattar, Abdul; and Lorenzen, Torben (2010). Visualizing prolog: A "jigsaw puzzle" approach. In Mathematics and Computer Science Faculty Publications. Paper 19.
Available at: http://vc.bridgew.edu/math_compsci_fac/19