Matches in UGent Biblio for { <https://biblio.ugent.be/publication/2963354#aggregation> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- aggregation classification "C1".
- aggregation creator B93526.
- aggregation creator B93527.
- aggregation creator person.
- aggregation date "2012".
- aggregation format "application/pdf".
- aggregation hasFormat 2963354.bibtex.
- aggregation hasFormat 2963354.csv.
- aggregation hasFormat 2963354.dc.
- aggregation hasFormat 2963354.didl.
- aggregation hasFormat 2963354.doc.
- aggregation hasFormat 2963354.json.
- aggregation hasFormat 2963354.mets.
- aggregation hasFormat 2963354.mods.
- aggregation hasFormat 2963354.rdf.
- aggregation hasFormat 2963354.ris.
- aggregation hasFormat 2963354.txt.
- aggregation hasFormat 2963354.xls.
- aggregation hasFormat 2963354.yaml.
- aggregation isPartOf urn:isbn:9781450315227.
- aggregation language "eng".
- aggregation publisher "Association for Computing Machinery (ACM)".
- aggregation rights "I have transferred the copyright for this publication to the publisher".
- aggregation subject "Science General".
- aggregation title "Tor: extensible search with hookable disjunction".
- aggregation abstract "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.".
- aggregation authorList BK240723.
- aggregation endPage "114".
- aggregation startPage "103".
- aggregation aggregates 2963355.
- aggregation isDescribedBy 2963354.
- aggregation similarTo 2370776.2370790.
- aggregation similarTo LU-2963354.