The program is based on Escamocher and O’Sullivan’s paper Solving Logic Grid Puzzles with an Algorithm that Imitates Human Behavior, with some modifications.
These and other features of the LEGUP interface are suspected to have several advantages over more traditional interfaces in terms of learning logic. The LEGUP interface allows the user to solve ...