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

Authors:
Krzysztof R. Apt;Andrea Schaerf
Affiliations:
-;-
Venue:
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Year:
1999

Citing 12
Cited 1

Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An introduction to Prolog III

Communications of the ACM
The CLP( R ) language and system

ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraint satisfaction using constraint logic programming

Artificial Intelligence - Special volume on constraint-based reasoning
Types in logic programming

Types in logic programming
A meta-environment for generating programming environments

ACM Transactions on Software Engineering and Methodology (TOSEM)
A filtering algorithm for constraints of difference in CSPs

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Search and imperative programming

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Alma-O: an imperative language that supports declarative programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
ICON Programmng Language

ICON Programmng Language
Computers and Intractability: A Guide to the Theory of NP-Completeness

Computers and Intractability: A Guide to the Theory of NP-Completeness
Design, Implementation, and Evaluation of the Constraint Language cc(FD)

Selected Papers from Constraint Programming: Basics and Trends

Programming with partially specified aggregates in Java

Computer Languages, Systems and Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 the project was the design and implementation of Alma0, a small programming language that provides a support for declarative programming within the imperative programming framework. It is obtained by extending a subset of Modula-2 by a small number of features inspired by the logic programming paradigm. In this paper we discuss the rationale for the design of Alma-0, the benefits of the resulting hybrid programming framework, and the current work on adding constraint processing capabilities to the language. In particular, we discuss the role of the logical and customary variables, the interaction between the constraint store and the program, and the need for lists.