2 lines
No EOL
351 B
Text
2 lines
No EOL
351 B
Text
{{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. |