|ELAN 3.3 released Pierre-Etienne.Moreau@loria.fr (Pierre-Etienne Moreau) (1998-12-10)|
|From:||Pierre-Etienne Moreau <Pierre-Etienne.Moreau@loria.fr>|
|Date:||10 Dec 1998 19:26:02 -0500|
|Keywords:||tools, available, logic|
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,
- An efficient compiler,
- 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
We maintain email@example.com, a low-volume moderated
mailing list for announcements and discussion regarding ELAN.
Return to the
Search the comp.compilers archives again.