Towards an Imperative Constraint Programming Language
Project code: ALMA
Research group: Algorithms, Combinatorics and Optimization (PNA1)
Coordinator of this project: Krzysztof Apt.
Alma project aims at a realization of a strongly typed constraint programming language that combines the advantages of logic and imperative programming.
At this stage the first layer, Alma-0, is available. Alma-0 extends a subset of Modula-2 by features that facilitate writing programs that involve search.