Alma-O: an imperative language that supports declarative programming

@article{Apt1997AlmaOAI,
  title={Alma-O: an imperative language that supports declarative programming},
  author={Krzysztof R. Apt and Jacob Brunekreef and Vincent Partington and Andrea Schaerf},
  journal={ACM Trans. Program. Lang. Syst.},
  year={1997},
  volume={20},
  pages={1014-1066}
}
We describe here an implemented small programming language, called Alma-O, that augments the expressive power of imperative programming by a limited number of features inspired by the logic programming paradigm. These additions encourage declarative programming and make it a more attractive vehicle for problems that involve search. We illustrate the use of Alma-O by presenting solutions to a number of classical problems, including α-β search, STRIPS planning, knapsack, and Eight Queens. These… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 23 CITATIONS

RAPID Programming of Pattern-Recognition Processors

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Formulas as Programs

  • The Logic Programming Paradigm
  • 1998
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND

Portable Programming with RAPID

  • IEEE Transactions on Parallel and Distributed Systems
  • 2019
VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Set-based Nondeterministic Declarative Programming in Singleton

  • Electr. Notes Theor. Comput. Sci.
  • 2002
VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Search and strategies in OPL

VIEW 9 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Programming with dynamic predicate logic

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Integration of Linear Constraints with a Temporal Logic Programming Language

  • 2013 International Symposium on Theoretical Aspects of Software Engineering
  • 2013
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.