ELAN 3.3 released

Pierre-Etienne Moreau <Pierre-Etienne.Moreau@loria.fr>
10 Dec 1998 19:26:02 -0500

          From comp.compilers

Related articles
ELAN 3.3 released Pierre-Etienne.Moreau@loria.fr (Pierre-Etienne Moreau) (1998-12-10)
| List of all articles for this month |

From: Pierre-Etienne Moreau <Pierre-Etienne.Moreau@loria.fr>
Newsgroups: comp.compilers
Date: 10 Dec 1998 19:26:02 -0500
Organization: Compilers Central
Keywords: tools, available, logic
X-Accept-Language: en

                                                                  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





Post a followup to this message

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