ANDI-Land

The first prototype of ANDI-Land is available as a zipped Windows binary. Just, download the file, unzip, and run. No installation required!

Download ANDI-Land version 1.1
Version 1.1 is a stable version that includes a puzzle element which will unlock the end game sequence!

Version 1.1 (release date 2007-06-03)

With its second release, ANDI-Land turns into a real "game" with a puzzle element that can be solved.

Try to solve the hidden puzzle element to unlock the end game sequence!
The world is no longer simply binary to the ANDIs. While they use standard two-valued first-order logic, unless they can prove a proposition true or false they remain agnostic and reply "I don't know".
Greeting phrases are used to initiate and terminate dialogs with the game characters. Players can also "talk to themselves" by thinking instead of speaking.

Version 1.0 was the first official release of ANDI-Land.

Meet the artificially intelligent inhabitants of ANDI-Land. The ANDIs "think" using a natural deduction theorem prover, making ANDI-Land the only game based on automated theorem proving.
Interact with the AI characters through natural language dialog using an innovative interactive parser that continually suggests sentence continuations.
Explore the forest environment using an animated avatar in a retro-style isometric graphics engine implemented entirely in Lisp.
The agents knowledge is restricted to the ownership and prices of some simple items, and the action of buying and selling those items to the player.