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

  title={The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming},
  author={K. Apt and Andrea Schaerf},
  • K. Apt, Andrea Schaerf
  • Published 1999
  • Computer Science, Mathematics
  • ArXiv
  • 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
    14 Citations
    Towards Effective Parallel Logic Programming
    Programming in Alma-0, or Imperative and Declarative Programming Reconciled
    • 3
    • PDF
    First-Order Logic as a Constraint Programming Language
    • 3
    • PDF
    Alternation as a programming paradigm
    • 1
    • PDF
    The Constraint Imperative Programming Language Turtle
    • 5
    Turtle: A Constraint Imperative Programming Language
    • 19
    • Highly Influenced
    Nondeterministic Programming in Java with JSetL
    • 4
    • PDF


    Alma-O: an imperative language that supports declarative programming
    • 54
    • PDF
    Search and imperative programming
    • 30
    • PDF
    2lp: Linear Programming and Logic Programming
    • 30
    Formulas as Programs
    • K. Apt, M. Bezem
    • Mathematics, Computer Science
    • The Logic Programming Paradigm
    • 1999
    • 15
    • PDF
    A meta-environment for generating programming environments
    • 228
    • PDF
    Constraint Satisfaction Using Constraint Logic Programming
    • 137
    • PDF
    Beyond the Glass Box: Constraints as Objects
    • 75
    • PDF
    NeMo+: Object-Oriented Constraint Programming Environment Based on Subdefinite Models
    • 16