ALMA

Krzysztof R. Apt, CWI, Netherlands

A strongly typed constraint language, with both logic and imperative features.

Alma-0

Similar to Modula-2 with backtracking features added.

"Alma-0: An Imperative Language that Supports Declarative Programming", Krzysztof R. Apt, J. Brunekreef, V. Partington, A. Schaerf, ACM Toplas 20(5), pp. 1014-1066, 1998.