Matches in SemOpenAlex for { <https://semopenalex.org/work/W1971941065> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1971941065 abstract "The efficiency of resolution-based logic programming languages, such as Prolog, depends critically on selecting and executing sets of applicable clause heads to resolve against subgoals. Traditional approaches to this problem have focused on using indexing to determine the smallest possible applicable set. Despite their usefulness, these approaches ignore the non-determinism inherent in many programming languages to the extent that they do not attempt to optimize execution after the applicable set theory has been determined.Unification factoring seeks to rectify this omission by regarding the indexing and unification phases of clause resolution as a single process. This paper formalizes that process through the construction of factoring automata. A polynomial-time algorithm is given for constructing optimal factoring automata which preserve the clause selection strategy of Prolog. More generally, when the clause selection strategy is not fixed, constructing such an optimal automaton is shown to be NP-complete, solving an open trie minimization problem.Unification factoring is implemented through a source code transformation that preserves the full semantics of Prolog. This transformation is specified in the paper, and using it, several well-known programs show performance improvements of up to 100% across three different systems. A prototype of unification factoring is available by anonymous ftp." @default.
- W1971941065 created "2016-06-24" @default.
- W1971941065 creator A5005648942 @default.
- W1971941065 creator A5009640372 @default.
- W1971941065 creator A5047412544 @default.
- W1971941065 creator A5055338447 @default.
- W1971941065 creator A5056708608 @default.
- W1971941065 creator A5060741187 @default.
- W1971941065 creator A5066015052 @default.
- W1971941065 date "1995-01-01" @default.
- W1971941065 modified "2023-09-25" @default.
- W1971941065 title "Unification factoring for efficient execution of logic programs" @default.
- W1971941065 cites W1507341471 @default.
- W1971941065 cites W1538230433 @default.
- W1971941065 cites W189277522 @default.
- W1971941065 cites W1968639270 @default.
- W1971941065 cites W1970074386 @default.
- W1971941065 cites W1979966822 @default.
- W1971941065 cites W202866673 @default.
- W1971941065 cites W2044968981 @default.
- W1971941065 cites W2055858190 @default.
- W1971941065 cites W2058419383 @default.
- W1971941065 cites W2124004121 @default.
- W1971941065 cites W2164155814 @default.
- W1971941065 cites W268660642 @default.
- W1971941065 cites W3821108 @default.
- W1971941065 doi "https://doi.org/10.1145/199448.199509" @default.
- W1971941065 hasPublicationYear "1995" @default.
- W1971941065 type Work @default.
- W1971941065 sameAs 1971941065 @default.
- W1971941065 citedByCount "10" @default.
- W1971941065 crossrefType "proceedings-article" @default.
- W1971941065 hasAuthorship W1971941065A5005648942 @default.
- W1971941065 hasAuthorship W1971941065A5009640372 @default.
- W1971941065 hasAuthorship W1971941065A5047412544 @default.
- W1971941065 hasAuthorship W1971941065A5055338447 @default.
- W1971941065 hasAuthorship W1971941065A5056708608 @default.
- W1971941065 hasAuthorship W1971941065A5060741187 @default.
- W1971941065 hasAuthorship W1971941065A5066015052 @default.
- W1971941065 hasConcept C10138342 @default.
- W1971941065 hasConcept C112505250 @default.
- W1971941065 hasConcept C128838566 @default.
- W1971941065 hasConcept C162324750 @default.
- W1971941065 hasConcept C177225278 @default.
- W1971941065 hasConcept C189790780 @default.
- W1971941065 hasConcept C199360897 @default.
- W1971941065 hasConcept C2778361913 @default.
- W1971941065 hasConcept C2780624054 @default.
- W1971941065 hasConcept C41008148 @default.
- W1971941065 hasConcept C42383842 @default.
- W1971941065 hasConcept C80444323 @default.
- W1971941065 hasConcept C81721847 @default.
- W1971941065 hasConcept C96146094 @default.
- W1971941065 hasConceptScore W1971941065C10138342 @default.
- W1971941065 hasConceptScore W1971941065C112505250 @default.
- W1971941065 hasConceptScore W1971941065C128838566 @default.
- W1971941065 hasConceptScore W1971941065C162324750 @default.
- W1971941065 hasConceptScore W1971941065C177225278 @default.
- W1971941065 hasConceptScore W1971941065C189790780 @default.
- W1971941065 hasConceptScore W1971941065C199360897 @default.
- W1971941065 hasConceptScore W1971941065C2778361913 @default.
- W1971941065 hasConceptScore W1971941065C2780624054 @default.
- W1971941065 hasConceptScore W1971941065C41008148 @default.
- W1971941065 hasConceptScore W1971941065C42383842 @default.
- W1971941065 hasConceptScore W1971941065C80444323 @default.
- W1971941065 hasConceptScore W1971941065C81721847 @default.
- W1971941065 hasConceptScore W1971941065C96146094 @default.
- W1971941065 hasLocation W19719410651 @default.
- W1971941065 hasOpenAccess W1971941065 @default.
- W1971941065 hasPrimaryLocation W19719410651 @default.
- W1971941065 hasRelatedWork W12807312 @default.
- W1971941065 hasRelatedWork W1491762427 @default.
- W1971941065 hasRelatedWork W1522225310 @default.
- W1971941065 hasRelatedWork W1530251652 @default.
- W1971941065 hasRelatedWork W1979966822 @default.
- W1971941065 hasRelatedWork W2000665740 @default.
- W1971941065 hasRelatedWork W2001265243 @default.
- W1971941065 hasRelatedWork W2044969589 @default.
- W1971941065 hasRelatedWork W2052553211 @default.
- W1971941065 hasRelatedWork W2070598037 @default.
- W1971941065 hasRelatedWork W2112856950 @default.
- W1971941065 hasRelatedWork W2113562776 @default.
- W1971941065 hasRelatedWork W2184175540 @default.
- W1971941065 hasRelatedWork W2250406369 @default.
- W1971941065 hasRelatedWork W2478163681 @default.
- W1971941065 hasRelatedWork W2505952163 @default.
- W1971941065 hasRelatedWork W2522304419 @default.
- W1971941065 hasRelatedWork W2612872244 @default.
- W1971941065 hasRelatedWork W58161474 @default.
- W1971941065 hasRelatedWork W1818995930 @default.
- W1971941065 isParatext "false" @default.
- W1971941065 isRetracted "false" @default.
- W1971941065 magId "1971941065" @default.
- W1971941065 workType "article" @default.