Category:Elan

From Rosetta Code
Language
Elan
This programming language may be used to instruct a computer to perform a task.
See Also:


Listed below are all of the tasks on Rosetta Code which have been solved using Elan.
Your Help Needed
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.