Category:Elan
From Rosetta Code
This programming language may be used to instruct a computer to perform a task.
| See Also: |
|
|---|
Your Help Needed
If you know Elan, please write code for some of the tasks not implemented in Elan.
If you know Elan, please write code for some of the tasks not implemented in Elan.
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.
