Series Note

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

Publication Date


Document Type



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.

Original Citation

Mondshein L., Sattar A., Lorenzen T. (2010). Visualizing prolog: A "jigsaw puzzle" approach. ACM Inroads, 1(4), 43-48.