Category:Elan: Difference between revisions
Content added Content deleted
(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: | Line 1: | ||
{{language |
{{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 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. |
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. |
||
Latest revision as of 19:48, 15 March 2014
This programming language may be used to instruct a computer to perform a task.
| See Also: |
|
|---|
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.
Subcategories
This category has the following 3 subcategories, out of 3 total.
@
- Elan examples needing attention (empty)
- Elan Implementations (empty)
- Elan User (empty)
Pages in category "Elan"
The following 2 pages are in this category, out of 2 total.