Matches in SemOpenAlex for { <https://semopenalex.org/work/W2004200215> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2004200215 endingPage "232" @default.
- W2004200215 startingPage "203" @default.
- W2004200215 abstract "Many metainterpreters found in the logic programming literature are nondeterministic in the sense that the selection of program clauses is not determined. Examples are the familiar ‘demo’ and ‘vanilla’ metainterpreters. For some applications this nondeterminism is convenient. In some cases, however, a deterministic metainterpreter, having an explicit selection of clauses, is needed. Such cases include (1) conversion of OR parallelism into AND parallelism for ‘committed-choice’ processors, (2) logic-based, imperative-language implementation of search strategies, and (3) simulation of bounded-resource reasoning. Deterministic metainterpreters are difficult to write because the programmer must be concerned about the set of unifiers of the children of a node in the derivation tree. We argue that it is both possible and advantageous to write these metainterpreters by reasoning in terms of object programs converted into a syntactically restricted form that we call ‘chain’ form, where we can forget about unification, except for unit clauses. We give two transformations converting logic programs into chain form, one for ‘moded’ programs (implicit in two existing exhaustive-traversal methods for committed-choice execution), and one for arbitrary definite programs. As illustrations of our approach we show examples of the three applications mentioned above." @default.
- W2004200215 created "2016-06-24" @default.
- W2004200215 creator A5018103510 @default.
- W2004200215 date "2002-03-01" @default.
- W2004200215 modified "2023-10-03" @default.
- W2004200215 title "Chain programs for writing deterministic metainterpreters" @default.
- W2004200215 cites W133676991 @default.
- W2004200215 cites W1497293019 @default.
- W2004200215 cites W1502484951 @default.
- W2004200215 cites W1514335004 @default.
- W2004200215 cites W1514468887 @default.
- W2004200215 cites W1522278016 @default.
- W2004200215 cites W1529317038 @default.
- W2004200215 cites W1531044637 @default.
- W2004200215 cites W1540021488 @default.
- W2004200215 cites W1548505684 @default.
- W2004200215 cites W1550105278 @default.
- W2004200215 cites W156472946 @default.
- W2004200215 cites W1578225692 @default.
- W2004200215 cites W1578655107 @default.
- W2004200215 cites W1597918680 @default.
- W2004200215 cites W1608686192 @default.
- W2004200215 cites W16194962 @default.
- W2004200215 cites W17948677 @default.
- W2004200215 cites W192201864 @default.
- W2004200215 cites W1985933047 @default.
- W2004200215 cites W1988185893 @default.
- W2004200215 cites W2025796387 @default.
- W2004200215 cites W2033514658 @default.
- W2004200215 cites W2051667248 @default.
- W2004200215 cites W2059322630 @default.
- W2004200215 cites W2071600844 @default.
- W2004200215 cites W2085036403 @default.
- W2004200215 cites W2110976851 @default.
- W2004200215 cites W2113090411 @default.
- W2004200215 cites W2172554482 @default.
- W2004200215 cites W2173159284 @default.
- W2004200215 cites W22089940 @default.
- W2004200215 cites W2911927583 @default.
- W2004200215 cites W2912818154 @default.
- W2004200215 cites W31561947 @default.
- W2004200215 cites W426073433 @default.
- W2004200215 cites W6119768 @default.
- W2004200215 doi "https://doi.org/10.1017/s147106840100134x" @default.
- W2004200215 hasPublicationYear "2002" @default.
- W2004200215 type Work @default.
- W2004200215 sameAs 2004200215 @default.
- W2004200215 citedByCount "1" @default.
- W2004200215 crossrefType "journal-article" @default.
- W2004200215 hasAuthorship W2004200215A5018103510 @default.
- W2004200215 hasBestOaLocation W20042002152 @default.
- W2004200215 hasConcept C128838566 @default.
- W2004200215 hasConcept C140745168 @default.
- W2004200215 hasConcept C154945302 @default.
- W2004200215 hasConcept C176181172 @default.
- W2004200215 hasConcept C177264268 @default.
- W2004200215 hasConcept C182620335 @default.
- W2004200215 hasConcept C199360897 @default.
- W2004200215 hasConcept C2778361913 @default.
- W2004200215 hasConcept C2778514511 @default.
- W2004200215 hasConcept C41008148 @default.
- W2004200215 hasConcept C80444323 @default.
- W2004200215 hasConcept C81917197 @default.
- W2004200215 hasConcept C96146094 @default.
- W2004200215 hasConceptScore W2004200215C128838566 @default.
- W2004200215 hasConceptScore W2004200215C140745168 @default.
- W2004200215 hasConceptScore W2004200215C154945302 @default.
- W2004200215 hasConceptScore W2004200215C176181172 @default.
- W2004200215 hasConceptScore W2004200215C177264268 @default.
- W2004200215 hasConceptScore W2004200215C182620335 @default.
- W2004200215 hasConceptScore W2004200215C199360897 @default.
- W2004200215 hasConceptScore W2004200215C2778361913 @default.
- W2004200215 hasConceptScore W2004200215C2778514511 @default.
- W2004200215 hasConceptScore W2004200215C41008148 @default.
- W2004200215 hasConceptScore W2004200215C80444323 @default.
- W2004200215 hasConceptScore W2004200215C81917197 @default.
- W2004200215 hasConceptScore W2004200215C96146094 @default.
- W2004200215 hasIssue "2" @default.
- W2004200215 hasLocation W20042002151 @default.
- W2004200215 hasLocation W20042002152 @default.
- W2004200215 hasOpenAccess W2004200215 @default.
- W2004200215 hasPrimaryLocation W20042002151 @default.
- W2004200215 hasRelatedWork W1502805996 @default.
- W2004200215 hasRelatedWork W1574102669 @default.
- W2004200215 hasRelatedWork W1943281423 @default.
- W2004200215 hasRelatedWork W1987715256 @default.
- W2004200215 hasRelatedWork W2004200215 @default.
- W2004200215 hasRelatedWork W2016993683 @default.
- W2004200215 hasRelatedWork W2084078829 @default.
- W2004200215 hasRelatedWork W2179833932 @default.
- W2004200215 hasRelatedWork W2949422477 @default.
- W2004200215 hasRelatedWork W2469909632 @default.
- W2004200215 hasVolume "2" @default.
- W2004200215 isParatext "false" @default.
- W2004200215 isRetracted "false" @default.
- W2004200215 magId "2004200215" @default.
- W2004200215 workType "article" @default.