ELAN 3.3 released

                                                                  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,
      - 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
Linux.


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




                Pierre-Etienne

Return to the comp.compilers page.
Search the comp.compilers archives again.