An Overview of ELAN (1998)
| Citations: | 94 - 24 self |
BibTeX
@INPROCEEDINGS{Borovansky98anoverview,
author = {Peter Borovansky and Claude Kirchner and Hélène Kirchner and Pierre-etienne Moreau and Christophe Ringeissen},
title = {An Overview of ELAN},
booktitle = {},
year = {1998},
publisher = {Elsevier Science}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper presents a comprehensive introduction to the ELAN rule-based programming language. We describe the main features of the language, the ELAN environment, and introduce bibliographic references to various papers addressing foundations, implementation and applications of ELAN. 1 Introduction The ELAN system [18] provides an environment for specifying and prototyping deduction systems in a language based on rules controlled by strategies. Its purpose is to support the design of theorem provers, logic programming languages, constraints solvers and decision procedures and to offer a modular framework for studying their combination. ELAN takes from functional programming the concept of abstract data types and the function evaluation principle based on rewriting. But rewriting is inherently non-deterministic since several rules can be applied at different positions in a same term, and in ELAN, a computation may have several results. This aspect is taken into account through choice...
