Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
Algorithms & data structures
Programming with sets; an introduction to SETL
Programming with sets; an introduction to SETL
Communications of the ACM
The annotated C++ reference manual
The annotated C++ reference manual
Warren's abstract machine: a tutorial reconstruction
Warren's abstract machine: a tutorial reconstruction
A meta-environment for generating programming environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
The art of Prolog (2nd ed.): advanced programming techniques
The art of Prolog (2nd ed.): advanced programming techniques
Artificial intelligence techniques in Prolog
Artificial intelligence techniques in Prolog
Arrays, bounded quantification and iteration in logic and constraint logic programming
Science of Computer Programming - Special issue on mathematics of program construction
Compiler construction
From logic programming to Prolog
From logic programming to Prolog
Search and imperative programming
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Spill—a logic language for writing testable requirements specifications
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
ACM Computing Surveys (CSUR)
Language Prototyping: An Algebraic Specification Approach: Vol. V
Language Prototyping: An Algebraic Specification Approach: Vol. V
The Java Language Specification
The Java Language Specification
ICON Programmng Language
Logic Programming with Bounded Quantifiers
Proceedings of the First Russian Conference on Logic Programming
Prolog with Arrays and Bounded Quantifications
LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
Micro-Planner Reference Manual
Micro-Planner Reference Manual
ACM Transactions on Computational Logic (TOCL)
Compiling language definitions: the ASF+SDF compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
First-Order Logic as a Constraint Programming Language
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics
JMatch: Iterable Abstract Pattern Matching for Java
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
A Denotational Semantics for First-Order Logic
CL '00 Proceedings of the First International Conference on Computational Logic
A protocol-adaptive monitoring tree for efficient design of traffic monitoring probes
Computer Networks: The International Journal of Computer and Telecommunications Networking
Syntax-Directed Amorphous Slicing
Automated Software Engineering
javaset: declarative programming in Java with sets
Proceedings of the 1st conference on Computing frontiers
GHolo: a multiparadigm model oriented to development of grid systems
Future Generation Computer Systems
JSetL: a Java library for supporting declarative programming in Java
Software—Practice & Experience
GHolo: a multiparadigm model oriented to development of grid systems
Future Generation Computer Systems
Monadic constraint programming
Journal of Functional Programming
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A survey on reactive programming
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
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 &agr;-&bgr; search, STRIPS planning, knapsack, and Eight Queens. These solutions are substantially simpler than their counterparts written in the imperative or in the logic programming style and can be used for different purposes without any modification. We also discuss here the implementation of Alma-O and an operational, executable, semantics of a large subset of the language.