Alma-0

Website: www.cwi.nl/en/alma

Proiectat de: Krzysztof Apt, Marc Bezem, Jacob Brunekree, Vincent Partington, Andrea Schaerf

ALMA-0 este un limbaj de programare a computerului multi-paradigm.

Această limbă este o versiune augmentată a limbajului Imperativ Modula-2, cu caracteristici de programare logică și capacitate de backtracking convenabilă.

Este mic, puternic tastat și combină programarea de constrângere, un număr limitat de caracteristici inspirate de programarea logică și acceptă paradigme imperative.

Limba susține programarea declarativă.

Proiectanții susțin că soluțiile orientate spre căutare construite cu aceasta sunt substanțial mai simple decât omologii lor scrise în stil de programare pur imperativ sau logic.

ALMA-0 oferă construcții naturale, de nivel înalt, pentru construirea copacilor de căutare.