Anonymous user
Category:Elan: Difference between revisions
m
Link doesn't exist anymore
(Created page with '{{language |site=http://www.loria.fr/equipes/protheo/SOFTWARES/ELAN/elan.html }} The ELAN system provides an environment for specifying and prototyping deduction systems in a lan…') |
m (Link doesn't exist anymore) |
||
Line 1:
{{language}}
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.
|