Alma-0

Website: www.cwi.nl/en/alma

Designed by: Krzysztof Apt, Marc Bezem, Jacob Brunekree, Vincent Partington, Andrea Schaerf

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.