The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming

Krzysztof R. Apt, Andrea Schaerf

The aim of the Alma project is the design of a strongly typed constraint programming language that combines the advantages of logic and imperative programming. The first stage of t…