Title: Tor: Modular search with hookable disjunction
Authors: Schrijvers, Tom ×
Demoen, Bart
Triska, Markus
Desouter, Benoit #
Issue Date: 2014
Publisher: North-Holland Pub. Co.
Series Title: Science of Computer Programming vol:84 pages:101-120
Abstract: Horn Clause Programs have a natural exhaustive depth-first procedural
semantics. However, for many programs this 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.
The Tor library is already
provided and used as an add-on to SWI-Prolog.
ISSN: 0167-6423
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
article.pdf Accepted 516KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science