Content area

Abstract

Translate

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.

Details

1009240
Subject
Logic programming;
Programming languages;
Modula-2;
Declarative programming;
Imperative programming
Identifier / keyword
Logic in Computer Science; Programming Languages
URL
http://arxiv.org/abs/cs/9907027
Title
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
Author
Apt, Krzysztof R; Schaerf, Andrea
Publication title
arXiv.org; Ithaca
Publication year
1999
Publication date
Jul 19, 1999
Section
Computer Science
Publisher
Cornell University Library, arXiv.org
Source
arXiv.org
Place of publication
Ithaca
Country of publication
United States
University/institution
Cornell University Library arXiv.org
Publication subject
Biology, Statistics, Physics, Mathematics, Engineering--Electrical Engineering, Computers--Computer Engineering, Business And Economics--Banking And Finance
e-ISSN
2331-8422
Source type
Working Paper
Language of publication
English
Document type
Working Paper
Publication history
 
 
Online publication date
2007-05-23
Milestone dates
1999-07-19 (Submission v1)
Publication history
 
 
   First posting date
23 May 2007
ProQuest document ID
2091206667
Document URL
https://www.proquest.com/working-papers/alma-project-how-first-order-logic-can-help-us/docview/2091206667/se-2?accountid=208611
Full text outside of ProQuest
http://arxiv.org/abs/cs/9907027
Copyright
© 1999. This work is published under https://arxiv.org/licenses/assumed-1991-2003/license.html (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Last updated
2019-05-23
Database
ProQuest One Academic