Matches in SemOpenAlex for { <https://semopenalex.org/work/W2159160803> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2159160803 endingPage "120" @default.
- W2159160803 startingPage "101" @default.
- W2159160803 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." @default.
- W2159160803 created "2016-06-24" @default.
- W2159160803 creator A5015796955 @default.
- W2159160803 creator A5017500138 @default.
- W2159160803 creator A5050247934 @default.
- W2159160803 creator A5072110185 @default.
- W2159160803 date "2014-05-01" @default.
- W2159160803 modified "2023-09-27" @default.
- W2159160803 title "Tor : Modular search with hookable disjunction" @default.
- W2159160803 cites W11070830 @default.
- W2159160803 cites W1984187667 @default.
- W2159160803 cites W2007301302 @default.
- W2159160803 cites W2007744038 @default.
- W2159160803 cites W2090322013 @default.
- W2159160803 cites W2142044962 @default.
- W2159160803 cites W2160964171 @default.
- W2159160803 cites W2165876990 @default.
- W2159160803 cites W2171649093 @default.
- W2159160803 cites W2911601159 @default.
- W2159160803 cites W2963711700 @default.
- W2159160803 cites W4254691308 @default.
- W2159160803 doi "https://doi.org/10.1016/j.scico.2013.05.008" @default.
- W2159160803 hasPublicationYear "2014" @default.
- W2159160803 type Work @default.
- W2159160803 sameAs 2159160803 @default.
- W2159160803 citedByCount "11" @default.
- W2159160803 countsByYear W21591608032014 @default.
- W2159160803 countsByYear W21591608032015 @default.
- W2159160803 countsByYear W21591608032016 @default.
- W2159160803 countsByYear W21591608032018 @default.
- W2159160803 countsByYear W21591608032019 @default.
- W2159160803 countsByYear W21591608032020 @default.
- W2159160803 countsByYear W21591608032022 @default.
- W2159160803 countsByYear W21591608032023 @default.
- W2159160803 crossrefType "journal-article" @default.
- W2159160803 hasAuthorship W2159160803A5015796955 @default.
- W2159160803 hasAuthorship W2159160803A5017500138 @default.
- W2159160803 hasAuthorship W2159160803A5050247934 @default.
- W2159160803 hasAuthorship W2159160803A5072110185 @default.
- W2159160803 hasBestOaLocation W21591608031 @default.
- W2159160803 hasConcept C101468663 @default.
- W2159160803 hasConcept C199360897 @default.
- W2159160803 hasConcept C41008148 @default.
- W2159160803 hasConceptScore W2159160803C101468663 @default.
- W2159160803 hasConceptScore W2159160803C199360897 @default.
- W2159160803 hasConceptScore W2159160803C41008148 @default.
- W2159160803 hasLocation W21591608031 @default.
- W2159160803 hasLocation W21591608032 @default.
- W2159160803 hasLocation W21591608033 @default.
- W2159160803 hasLocation W21591608034 @default.
- W2159160803 hasLocation W21591608035 @default.
- W2159160803 hasLocation W21591608036 @default.
- W2159160803 hasLocation W21591608037 @default.
- W2159160803 hasOpenAccess W2159160803 @default.
- W2159160803 hasPrimaryLocation W21591608031 @default.
- W2159160803 hasRelatedWork W1527862632 @default.
- W2159160803 hasRelatedWork W2112962394 @default.
- W2159160803 hasRelatedWork W2118300983 @default.
- W2159160803 hasRelatedWork W2135396778 @default.
- W2159160803 hasRelatedWork W2382501300 @default.
- W2159160803 hasRelatedWork W2740990710 @default.
- W2159160803 hasRelatedWork W3137189469 @default.
- W2159160803 hasRelatedWork W3162240892 @default.
- W2159160803 hasRelatedWork W4235530921 @default.
- W2159160803 hasRelatedWork W4243252198 @default.
- W2159160803 hasVolume "84" @default.
- W2159160803 isParatext "false" @default.
- W2159160803 isRetracted "false" @default.
- W2159160803 magId "2159160803" @default.
- W2159160803 workType "article" @default.