Alma-0

Alma-0 係一隻多範式電腦程式語言。呢隻語言係命令式 Modula-2 語言嘅增強版本，有邏輯編程特性同埋方便嘅回溯能力。佢嘅儲存佔用量細、類型強、結合咗約束編程、受邏輯程式啟發嘅限量特性、用到命令式範式。呢隻語言語言提倡聲明式編程。設計者話，用佢構建嘅搜索導向嘅解決方案比用純命令式或者邏輯程式風格編寫嘅同類解決方案易好多。Alma-0 幫構建搜索樹提供咗自然嘅高級結構。