Definitions for "Alma-0"
Alma-0 is a small imperative programming language that includes a limited number of features inspired by the logical programming paradigm. These additions support and encourage declarative programming and make Alma-0 an attractive option for programmers used to imperative languages when facing problems that involve search. The designers of Alma-0 claim that search-oriented solutions built with it are substantially simpler than their counterparts written in purely imperative or logical programming style.