incomplete GUI program with use of reactive-banana; completed search
problem solution, based on Martin Erwig's Escape from Zurg: An Exercise
in Logic Programming. — 2004