ELAN

[Helene.Kirchner@loria.fr]

                                 ELAN
                              Version 3.3
                             December 1998

                       http://www.loria.fr/ELAN


We are proud to announce the new release of ELAN. 

The ELAN system provides an environment for specifying and prototyping
deduction systems in a language based on rewrite rules controlled by
strategies. It offers a natural and simple logical framework for the
combination of the computation and deduction paradigms as it is backed
up by the concepts of rewriting calculus and rewriting logic.  It
permits to support the design of theorem provers, logic programming
languages, constraint solvers and decision procedures and to offer a
modular framework for studying their combination.

The distribution includes:
   - An interpreter of the language,
   - A very efficient compiler (runs upto 15 million rules per second),
   - User's manual and library documentation,
   - Examples; from tiny to very large ones.

ELAN is developped in the Protheo project of LORIA the joint
laboratory of CNRS, INRIA and the Universities of Nancy.  It is
written in C++ and the current compiler is written in JAVA.  The
system runs on Suns and Digitals under Unix as well as on PCs under
Linux.

We maintain elan-users-request@loria.fr, a low-volume moderated
mailing list for announcements and discussion regarding ELAN.


-------------------------------------------------------------------------
elan-local mailing-list:
To unsubscribe, send email to elan-local-request@loria.fr,
with your request "unsubscribe" in the SUBJECT of the message.