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.

• 8 queens in Alma-0 
• Knapsack in Alma-0 
• Syntax of Alma-0
• Compiler

Members

Krzysztof Apt,  Marc Bezem, Jacob Brunekree,
Vincent Partington, Andrea Schaerf.