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

@inproceedings{Apt1999TheAP,
  title={The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming},
  author={Krzysztof R. Apt and Andrea Schaerf},
  booktitle={Correct System Design},
  year={1999}
}
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… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 19 REFERENCES

Formulas as Programs

  • The Logic Programming Paradigm
  • 1998
VIEW 8 EXCERPTS

Alma-0: an Imperative Language That Supports Declarative Programming Alma-0: an Imperative Language That Supports Declarative Programming

K R Apt, J. J. Brunekreef, +5 authors Andrea Schaerf
    VIEW 10 EXCERPTS

    optimization suite — white paper

    ILO ILOG.
    • Available via http://www.ilog.com,
    • 1998
    VIEW 2 EXCERPTS

    Vijay Saraswat, and Y

    P. Van Hentenryck
    • Deville. Design, implementation, and evaluation of the constraint language cc(FD). In Andreas Podelski, editor, Constraint Programming: Basics and Trends, LNCS 910. Springer-Verlag,
    • 1995
    VIEW 2 EXCERPTS

    Helmut Simonis, and Mehmet Dincbas

    P. Van Hentenryck
    • Constraint satisfaction using constraint logic programming. Artificial Intelligence, 58:113–159,
    • 1992
    VIEW 1 EXCERPT