Abstraction and specification in program development
Abstraction and specification in program development
Deforestation: transforming programs to eliminate trees
Proceedings of the Second European Symposium on Programming
Arrays, bounded quantification and iteration in logic and constraint logic programming
Science of Computer Programming - Special issue on mathematics of program construction
The OPL optimization programming language
The OPL optimization programming language
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The Haskell: The Craft of Functional Programming
The Haskell: The Craft of Functional Programming
The C++ Programming Language, Third Edition
The C++ Programming Language, Third Edition
Negation and Quantifiers in NU-Prolog
Proceedings of the Third 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
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Hi-index | 0.00 |
Several earlier papers have shown that bounded quantification is an expressive and comfortable addition to logic programming languages. One shortcoming of bounded quantification, however, is that it does not allow easy and efficient relation of corresponding elements of aggregations being quantified over (lockstep iteration). Bounded quantification also does not allow easy quantification over part of an aggregation, nor does it make it easy to accumulate a result over an aggregation. We generalize the concept of bounded quantification to quantification over any finite sequence, as we can use a rich family of operations on sequences to create a language facility that avoids the weaknesses mentioned above. We also propose a concrete syntax for sequence quantification in Prolog programs, which we have implemented as a source-to-source transformation.