FrOZ

FrOZ is a text adventure engine based on current technology from computational linguistics and theorem proving. It uses real natural language processing techniques to analyse the user's input and generate the system's output, and accesses a description logic knowledge base with a theorem prover.

FrOZ was conceived by Malte Gabsdil, Alexander Koller, and Kristina Striegnitz in 2001, and then implemented by a number of students of computational linguistics in Saarbrücken under their supervision. The system had been laying dormant, until a surge of public interest (i.e. three or four different people who wanted to try the system out) in 2004 made us clean up the distribution and create a website for it. That's what you're looking at right now.

The name of FrOZ is a pun on its two components. It pays hommage to Frotz, the open-source implementation of the most successful text adventure engine ever. On the other hand, it is implemented in the programming language Oz, which we used mainly because we already had a parser and a generation engine written in Oz. Hey, we were young and we needed a name.