Alma-0

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.

Alma-0
Paradigmmulti-paradigm: constraint, imperative, logic
FamilyWirth Modula
Designed byKrzysztof Apt, Marc Bezem, Jacob Brunekree, Vincent Partington, Andrea Schaerf
DeveloperCentrum Wiskunde & Informatica
First appeared1997 (1997)
Typing disciplinestatic
ScopeLexical (static)
Websitewww.cwi.nl/en/alma
Major implementations
Alma-0
Influenced by
Modula-2
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.