Alma-0, a small, strongly typed, constraint language with a limited number of features inspired by logic programming, supporting imperative programming.
Alma-0 невелика, строго типізована, мова обмежень з незначною кількістю функцій логічного програмування, що підтримують імперативне програмування.