DemoII, first released December 1998

Completely reprogrammed in Sicstus Prolog 3.7 using Constraint Handling Rules. New features include a declarative treatment of negation and user-extendible syntax for the object language.

The design is much cleaner (but the execution a bit slower) than in the previous version.

The system is continuously being maintained; a detailed history of fixed bugs and new features can be found here.

DemoI, developed 1994, revised 1996

The first version of Demo System is still available on the web for compatibility reasons. The old package includes source texts, examples and on-line manuals.

Fetch the system here: http://www.dat.ruc.dk/software/demoi.zip

On-line manuals for old system: User's guide to the demo system and Extended syntax guide.