Alma-0, a small, strongly typed, constraint language with a limited number of features inspired by logic programming, supporting imperative programming.
Alma-0 - мали, строго типизиран језик програмирања ограничења са ограниченим бројем карактеристика инспирисан логичким програмирањем, подржава императивно програмирање.