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

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

1999-07-19

arxiv.org/abs/cs/9907027v1

Computer Science

Logic in Computer Science

25 pages

Scientific paper

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 Alma-0, 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.

Affiliated with

Also associated with

No associations

Rating

The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-17436