Alma-0
| Alma-0 | |
|---|---|
| Paradigm | multi-paradigm: constraint, imperative, logic |
| Family | Wirth Modula |
| Designed by | Krzysztof Apt, Marc Bezem, Jacob Brunekreef, Vincent Partington, Andrea Schaerf |
| Developer | Centrum Wiskunde & Informatica |
| First appeared | 1997 |
| Typing discipline | static |
| Scope | Lexical (static) |
| Website | www |
| Major implementations | |
| Alma-0 | |
| Influenced by | |
| Modula-2 | |
Alma-0 is a multi-paradigm computer programming language. This language is an augmented version of the imperative Modula-2 language with logic-programming features and convenient backtracking ability. It is small, strongly typed, and combines constraint programming, a limited number of features inspired by logic programming and supports imperative paradigms. The language advocates declarative programming. The designers claim that search-oriented solutions built with it are substantially simpler than their counterparts written in purely imperative or logic programming style. Alma-0 provides natural, high-level constructs for building search trees.