The Go¨del programming language
The Go¨del programming language
Arrays, bounded quantification and iteration in logic and constraint logic programming
Science of Computer Programming - Special issue on mathematics of program construction
Logic programming in Oz with Mozart
Proceedings of the 1999 international conference on Logic programming
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
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
An abstract interpretation based combinator for modelling while loops in constraint programming
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Sicstus prolog-the first 25 years
Theory and Practice of Logic Programming - Prolog Systems
Theory and Practice of Logic Programming - Prolog Systems
The language features and architecture of b-prolog
Theory and Practice of Logic Programming - Prolog Systems
Searching semantically equivalent code fragments in logic programs
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Hi-index | 0.00 |
We present a concrete proposal for enhancing Prolog and Prolog based Constraint Logic Programming languages with a new language construct, the logical loop. This is a shorthand notation for the most commonly used recursive control structure: the iteration or tail recursion. We argue that this enhancement fits well with the existing language concepts, enhances productivity and maintainability, and helps newcomers to the language by providing concepts that are familiar from many other programming languages. The language extension is implemented and has been in everyday use over several years within the ECLiPSesystem.