Asha is an equational language. Its main objective is to specify rather than to compute.
It consist mainly of mathematical expressions and the relations among them, borrowing features from specification languages and both functional and constraint logic programming languages.
By means of an interpreter and several interpretative strategies it's possible to evaluate and analyze your code.
Asha is a language in development. The parser and interpreter will be put online in the downloads section when they're done.