Category:Elan

From Rosetta Code
Revision as of 19:48, 15 March 2014 by rosettacode>AndiPersti (Link doesn't exist anymore)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.

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.

Pages in category "Elan"

The following 2 pages are in this category, out of 2 total.