The essence of functional programming
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The art of Prolog (2nd ed.): advanced programming techniques
The art of Prolog (2nd ed.): advanced programming techniques
Logic for Problem Solving
Constraint-Based Local Search
Nondeterministic Control for Hybrid Search
Constraints
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Monadic constraint programming
Journal of Functional Programming
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Theory and Practice of Logic Programming - Prolog Systems
Sicstus prolog-the first 25 years
Theory and Practice of Logic Programming - Prolog Systems
Theory and Practice of Logic Programming - Prolog Systems
Theory and Practice of Logic Programming - Prolog Systems
Xsb: Extending prolog with tabled logic programming
Theory and Practice of Logic Programming - Prolog Systems
The language features and architecture of b-prolog
Theory and Practice of Logic Programming - Prolog Systems
An overview of ciao and its design philosophy
Theory and Practice of Logic Programming - Prolog Systems
On the implementation of gnu prolog
Theory and Practice of Logic Programming - Prolog Systems
The finite domain constraint solver of SWI-Prolog
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Constraints
| Hi-index | 0.00 |
Horn Clause Programs have a natural depth-first procedural semantics. However, for many programs this procedural semantics is ineffective. In order to compute useful solutions, one needs the ability to modify the search method that explores the alternative execution branches. Tor, a well-defined hook into Prolog disjunction, provides this ability. It is light-weight thanks to its library approach and efficient because it is based on program transformation. Tor is general enough to mimic search-modifying predicates like ECLiPSe's search/6. Moreover, Tor supports modular composition of search methods and other hooks. Our library is already provided and used as an add-on to SWI-Prolog.