Matches in SemOpenAlex for { <https://semopenalex.org/work/W2010291760> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2010291760 abstract "Most of the theoretical work on the semantics of logic programs assumes an interpreter that provides a complete resolution procedure. In contrast, for reasons of efficiency, most logic programming languages are built around incomplete procedures. This difference is rooted in Prolog, which evaluates resolvent trees in a depth-first rather than a breadth-first order. The gap is widened by some equational logic languages, which combine the incompleteness of depth-first evaluation with incomplete approximations to equational unification. Because of this gap, it is unsound to reason about logic programs using their declarative semantics. This in turn makes it difficult to develop abstraction mechanisms that can be used to partition a logic program into independently specifiable modules.In this paper we consider the role type systems can play in closing the gap between the operational and declarative semantics of logic programs. We develop the notion of an equational mode system for use in constraining the domains of both predicates and unification procedures. The mode system is used to guide the resolution-based interpreter, and as a result, we can show that two predicate implementations with the same declarative meaning will be operationally equivalent." @default.
- W2010291760 created "2016-06-24" @default.
- W2010291760 creator A5076023237 @default.
- W2010291760 creator A5087199788 @default.
- W2010291760 date "1989-01-01" @default.
- W2010291760 modified "2023-09-26" @default.
- W2010291760 title "Moded type systems for logic programming" @default.
- W2010291760 cites W134953795 @default.
- W2010291760 cites W1513315908 @default.
- W2010291760 cites W1530974209 @default.
- W2010291760 cites W1540174309 @default.
- W2010291760 cites W1598625331 @default.
- W2010291760 cites W2017637575 @default.
- W2010291760 cites W2021473914 @default.
- W2010291760 cites W2033514658 @default.
- W2010291760 cites W2100738443 @default.
- W2010291760 cites W2108911687 @default.
- W2010291760 cites W2143382644 @default.
- W2010291760 cites W93172755 @default.
- W2010291760 cites W1601262861 @default.
- W2010291760 doi "https://doi.org/10.1145/75277.75287" @default.
- W2010291760 hasPublicationYear "1989" @default.
- W2010291760 type Work @default.
- W2010291760 sameAs 2010291760 @default.
- W2010291760 citedByCount "5" @default.
- W2010291760 crossrefType "proceedings-article" @default.
- W2010291760 hasAuthorship W2010291760A5076023237 @default.
- W2010291760 hasAuthorship W2010291760A5087199788 @default.
- W2010291760 hasBestOaLocation W20102917601 @default.
- W2010291760 hasConcept C128838566 @default.
- W2010291760 hasConcept C138268822 @default.
- W2010291760 hasConcept C146206909 @default.
- W2010291760 hasConcept C154690210 @default.
- W2010291760 hasConcept C184337299 @default.
- W2010291760 hasConcept C189790780 @default.
- W2010291760 hasConcept C199360897 @default.
- W2010291760 hasConcept C2780654840 @default.
- W2010291760 hasConcept C34165917 @default.
- W2010291760 hasConcept C41008148 @default.
- W2010291760 hasConcept C50033165 @default.
- W2010291760 hasConcept C80444323 @default.
- W2010291760 hasConcept C81721847 @default.
- W2010291760 hasConcept C96146094 @default.
- W2010291760 hasConceptScore W2010291760C128838566 @default.
- W2010291760 hasConceptScore W2010291760C138268822 @default.
- W2010291760 hasConceptScore W2010291760C146206909 @default.
- W2010291760 hasConceptScore W2010291760C154690210 @default.
- W2010291760 hasConceptScore W2010291760C184337299 @default.
- W2010291760 hasConceptScore W2010291760C189790780 @default.
- W2010291760 hasConceptScore W2010291760C199360897 @default.
- W2010291760 hasConceptScore W2010291760C2780654840 @default.
- W2010291760 hasConceptScore W2010291760C34165917 @default.
- W2010291760 hasConceptScore W2010291760C41008148 @default.
- W2010291760 hasConceptScore W2010291760C50033165 @default.
- W2010291760 hasConceptScore W2010291760C80444323 @default.
- W2010291760 hasConceptScore W2010291760C81721847 @default.
- W2010291760 hasConceptScore W2010291760C96146094 @default.
- W2010291760 hasLocation W20102917601 @default.
- W2010291760 hasOpenAccess W2010291760 @default.
- W2010291760 hasPrimaryLocation W20102917601 @default.
- W2010291760 hasRelatedWork W1006217711 @default.
- W2010291760 hasRelatedWork W1493799155 @default.
- W2010291760 hasRelatedWork W1502855507 @default.
- W2010291760 hasRelatedWork W1537193727 @default.
- W2010291760 hasRelatedWork W1578725873 @default.
- W2010291760 hasRelatedWork W1594369397 @default.
- W2010291760 hasRelatedWork W1696142211 @default.
- W2010291760 hasRelatedWork W1757790192 @default.
- W2010291760 hasRelatedWork W2022951178 @default.
- W2010291760 hasRelatedWork W2032660789 @default.
- W2010291760 hasRelatedWork W2043100293 @default.
- W2010291760 hasRelatedWork W2097626996 @default.
- W2010291760 hasRelatedWork W2142358301 @default.
- W2010291760 hasRelatedWork W223396483 @default.
- W2010291760 hasRelatedWork W2241042849 @default.
- W2010291760 hasRelatedWork W2540298533 @default.
- W2010291760 hasRelatedWork W2902695556 @default.
- W2010291760 hasRelatedWork W2965093858 @default.
- W2010291760 hasRelatedWork W348564150 @default.
- W2010291760 hasRelatedWork W248618342 @default.
- W2010291760 isParatext "false" @default.
- W2010291760 isRetracted "false" @default.
- W2010291760 magId "2010291760" @default.
- W2010291760 workType "article" @default.