From IFWiki

LogicPuzzleComp was a minicomp in 2003 organized by Andrew Plotkin. The idea was to try to do something interesting with logic puzzle logic, particularly with statements that are either true or false. Andrew supplied sample Inform code that could be used by the entrants (or anyone else), but use of his code was not required. The judges of the comp were Goob and Zarf.

The Entry