ELAN swMATH ID: 2179 Software Authors: Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek Description: The ELAN system 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. 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 operations and a backtracking capability. One of the main originality of the language is to provide strategy constructors to specify whether a function call returns several, at-least one or only one result. This declarative handling of non-determinism is part of a strategy language allowing the programmer to specify the control on rules application. This is in contrast to many existing rewriting-based languages where the term reduction strategy is hard-wired and not accessible to the designer of an application. The strategy language offers primitives for sequential composition, iteration, deterministic and non-deterministic choices of elementary strategies that are labelled rules. From these primitives, more complex strategies can be expressed. In addition the user can introduce new strategy operators and define them by rewrite rules. Evaluation of strategy application is itself based on rewriting. So the simple and well-known paradigm of rewriting provides both the logical framework in which deduction systems can be expressed and combined, and the evaluation mechanism of the language. The purpose of these pages is to summarize ELAN features, library and environment and to provide a guide to the literature on the language. Homepage: http://elan.loria.fr Programming Languages: C++ Operating Systems: Linux Dependencies: dependencies Keywords: Rule based programming; strategy; tactic; rewriting; rule application; rule compilation; matching; efficient rewriting Related Software: Maude; CafeOBJ; OBJ3; Stratego; Haskell; ATERM; Nuprl; Coq; Tom; CASL; ASF+SDF; PORGY; Timbuk; LCF; PMaude; ML; visone; GP 2; CARIBOO; CLAIRE Cited in: 106 Documents Standard Articles 2 Publications describing the Software, including 2 Publications in zbMATH Year ELAN. Zbl 0942.68589Kirchner, Hélène 1999 ELAN: A logical framework based on computational systems. Zbl 0912.68091Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne; Vittek, Marian 1996 all top 5 Cited by 112 Authors 20 Kirchner, Hélène 14 Meseguer Guaita, José 13 Kirchner, Claude 9 Moreau, Pierre-Etienne 8 Borovanský, Peter 7 Ringeissen, Christophe 6 Martí-Oliet, Narciso 6 Roşu, Grigore 5 van den Brand, Mark G. J. 4 Cirstea, Horatiu 4 Genet, Thomas 4 Gnaedig, Isabelle 4 Lucas, Salvador 3 Castro, Carlos 3 Clavel, Manuel 3 Fernández, Maribel 3 Montanari, Ugo G. 3 Nguyen, Quang Huy 3 Pinaud, Bruno 3 Steggles, L. Jason 3 Vinju, Jurgen J. 3 Visser, Eelco 2 Bournez, Olivier 2 Bruni, Roberto 2 Déharbe, David 2 Durán, Francisco 2 Eker, Steven 2 Erwig, Martin 2 Faure, Germain 2 Feuillade, Guillaume 2 Fissore, Olivier 2 Gutiérrez, Raúl 2 Lämmel, Ralf 2 Martins Moreira, Anamaria 2 Ren, Deling 2 Rodríguez-Artalejo, Mario 2 Scheerder, Jeroen 2 Şerbănuţă, Traian Florin 2 Talcott, Carolyn L. 2 Vallet, Jason 2 Viet Triem Tong, Valérie 1 Alpuente, María 1 Arenas-Sánchez, Puri 1 Armando, Alessandro 1 Attiogbé, Christian 1 Ayala-Rincón, Mauricio 1 Baldan, Paolo 1 Ballis, Demis 1 Basin, David A. 1 Bertolissi, Clara 1 Brabrand, Claus 1 Brand, Sebastian 1 Chen, Feng 1 Ciobanu, Gabriel 1 Coglio, Alessandro 1 Côme, Guy-Marie 1 Conchon, Sylvain 1 Conraud, Valérie 1 Correa, Francisco José 1 de Moor, Oege 1 Denker, Grit 1 Deplagne, Eric 1 Escobar, Santiago 1 Falaschi, Moreno 1 Gadducci, Fabio 1 Giunchiglia, Fausto 1 Hartenstein, Reiner W. 1 Ibanescu, Liliana 1 Jacobi, Ricardo P. 1 Jamoussi, Salma 1 Klay, Francis 1 Klint, Paul 1 Knapp, Alexander 1 Knight, Kevin M. 1 Koutny, Maciej 1 Krstic, Sava A. 1 Kutsia, Temur 1 Leucker, Martin 1 Lima, Gleydson 1 Lincoln, Patrick D. 1 Liquori, Luigi 1 Llanos, Carlos H. 1 Marin, Mircea 1 May, Jonathan 1 Meinke, Karl 1 Neto, Rinaldi Maya 1 Noll, Thomas 1 Olveczky, Peter Csaba 1 Perron, Laurent 1 Poizat, Pascal 1 Puget, Jean-François 1 Ranise, Silvio 1 Rossi, Francesca 1 Rubio, Rubén 1 Salaün, Gwen 1 Sato, Masahiko 1 Schorlemmer, Marco 1 Schwartzbach, Michael I. 1 Sen, Koushik 1 Shankar, Natarajan ...and 12 more Authors all top 5 Cited in 21 Serials 10 Theoretical Computer Science 4 The Journal of Logic and Algebraic Programming 3 Journal of Logical and Algebraic Methods in Programming 2 Annales Societatis Mathematicae Polonae. Series IV 2 Science of Computer Programming 2 Journal of Symbolic Computation 2 Information and Computation 2 Journal of Automated Reasoning 1 Acta Informatica 1 Journal of Computer and System Sciences 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 Journal of Functional Programming 1 Annals of Mathematics and Artificial Intelligence 1 Analele Universității din Timișoara. Seria Matematică-Informatică 1 Logic Journal of the IGPL 1 Higher-Order and Symbolic Computation 1 Theory and Practice of Logic Programming 1 ACM Transactions on Computational Logic 1 Foundations of Artificial Intelligence all top 5 Cited in 9 Fields 103 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 General algebraic systems (08-XX) 2 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Category theory; homological algebra (18-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year