Apt, Krzysztof R ; Schaerf, Andrea "The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming"

Languages mentioned

• Alma {1997} Imperative Constraint Programming Language