The IF Logic Puzzle Mini-Competition

The theme of this competition was... okay, I've already given it away... logic puzzles.

I created a sample game which demonstrates evaluation of statements. You can enter a statement about the game world, like "The red pyramid is on the table", and the game will determine whether it's true or false.

The Entrant:

Our sole competitor was The Traffic Light by Eric Schmidt.

After careful deliberation, the panel of judges has selected a winner. It's him!

Here are the review comments of the judges. (This page contains spoilers for The Traffic Light. If you want to play it fresh, play it before reading!)

For his triumph, Eric will receive a clever and symbolic trophy. Eventually. When we find time to make it.

• traffic.zip -- Eric Schmidt's entry and the winner of this mini-competition (includes game file, source code, and author's comments)
• Notes on Playing in Traffic -- the judge's comments (spoilers!)
• logicpuz.z5 -- my logic-puzzle framework sample game
• logicpuz.inf -- the source code (public domain)
• I Had A Dream -- the essay that inspired this mess; in which I discuss the logical framework needed for consistent paradox detection
• logicpuz.tar.gz -- a package containing all three of the above
• Questions Answered about the sample game -- anything that people have asked me (because they couldn't figure it out from my (possibly arcane) source code comments)

For historical note, here are the competition rules, as originally posted in February of 2003.

The Challenge:

• Write a game which does something interesting with my logical evaluation code.
• Actually, you don't have to use my code. You can come up with your own system that does something similar. Or something related. Or something else in the general theme of logic puzzles.
• Actually, it doesn't have to be a game. I can imagine tutorials, interactive demonstrations, sets of puzzles, or source-code frameworks that are more powerful than mine. Heck, people are throwing around ideas for non-computer-based interactive experiences -- paper-and-pencil games between people. If you think you can make it work, go for it.
• It does have to be interesting, though.
My sample game is in Inform. (See below for game file and Inform source code.) The source is in the public domain; you can use it for anything. (Not limited to this minicomp!) I don't currently have equivalent code in TADS or any other language; contributions welcomed.

If you're really deeply interested in the model I came up with to consistently label sentences... including crazy paradoxical stuff... see my essay: I Had A Dream. Warning: If you're not a math major, this may hurt your head. (I dropped out of the advanced math class, and it sure hurt my head.) If you are a math major, you may find it's full of holes. Wouldn't surprise me a bit, actually.

You do not need to read the essay in order to play with the sample game, or enter the minicomp.