FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2193302029> ?p ?o ?g. }

• W2193302029 endingPage "59" @default.
• W2193302029 startingPage "1" @default.
• W2193302029 abstract "The semantics of the Prolog ‘cut’ construct is explored in the context of some desirable properties of logic programming systems, referred to as the witness properties. The witness properties concern the operational consistency of responses to queries. A generalization of Prolog with negation as failure and cut is described, and shown not to have the witness properties. A restriction of the system is then described, which preserves the choice and first-solution behaviour of cut but allows the system to have the witness properties. The notion of cut in the restricted system is more restricted than the Prolog hard cut, but retains the useful first-solution behaviour of hard cut, not retained by other proposed cuts such as the ‘soft cut’. It is argued that the restricted system achieves a good compromise between the power and utility of the Prolog cut and the need for internal consistency in logic programming systems. The restricted system is given an abstract semantics, which depends on the witness properties; this semantics suggests that the restricted system has a deeper connection to logic than simply permitting some computations which are logical. Parts of this paper appeared previously in a different form in the Proceedings of the 1995 International Logic Programming Symposium (Andrews, 1995)." @default.
• W2193302029 created "2016-06-24" @default.
• W2193302029 creator A5050825479 @default.
• W2193302029 date "2002-12-18" @default.
• W2193302029 modified "2023-09-27" @default.
• W2193302029 title "The witness properties and the semantics of the Prolog cut" @default.
• W2193302029 cites W114322614 @default.
• W2193302029 cites W1487409515 @default.
• W2193302029 cites W1506233153 @default.
• W2193302029 cites W1529694911 @default.
• W2193302029 cites W1531044637 @default.
• W2193302029 cites W1544633123 @default.
• W2193302029 cites W1551870799 @default.
• W2193302029 cites W1563334701 @default.
• W2193302029 cites W1563640839 @default.
• W2193302029 cites W1584357601 @default.
• W2193302029 cites W1584490456 @default.
• W2193302029 cites W158887749 @default.
• W2193302029 cites W1590937195 @default.
• W2193302029 cites W1592696017 @default.
• W2193302029 cites W1766332311 @default.
• W2193302029 cites W1768718906 @default.
• W2193302029 cites W1965486824 @default.
• W2193302029 cites W1973337882 @default.
• W2193302029 cites W1979684422 @default.
• W2193302029 cites W1982243747 @default.
• W2193302029 cites W1985058553 @default.
• W2193302029 cites W2003531456 @default.
• W2193302029 cites W2013417779 @default.
• W2193302029 cites W2014370252 @default.
• W2193302029 cites W2023299380 @default.
• W2193302029 cites W2040907010 @default.
• W2193302029 cites W2059709382 @default.
• W2193302029 cites W2063236708 @default.
• W2193302029 cites W2072493788 @default.
• W2193302029 cites W2086959410 @default.
• W2193302029 cites W2105594444 @default.
• W2193302029 cites W2108911687 @default.
• W2193302029 cites W2118229393 @default.
• W2193302029 cites W2120869002 @default.
• W2193302029 cites W35943912 @default.
• W2193302029 cites W46517763 @default.
• W2193302029 doi "https://doi.org/10.1017/s1471068402001540" @default.
• W2193302029 hasPublicationYear "2002" @default.
• W2193302029 type Work @default.
• W2193302029 sameAs 2193302029 @default.
• W2193302029 citedByCount "7" @default.
• W2193302029 crossrefType "journal-article" @default.
• W2193302029 hasAuthorship W2193302029A5050825479 @default.
• W2193302029 hasBestOaLocation W21933020292 @default.
• W2193302029 hasConcept C127001435 @default.
• W2193302029 hasConcept C128838566 @default.
• W2193302029 hasConcept C134306372 @default.
• W2193302029 hasConcept C151730666 @default.
• W2193302029 hasConcept C154945302 @default.
• W2193302029 hasConcept C156325763 @default.
• W2193302029 hasConcept C177148314 @default.
• W2193302029 hasConcept C184337299 @default.
• W2193302029 hasConcept C189790780 @default.
• W2193302029 hasConcept C199360897 @default.
• W2193302029 hasConcept C207648694 @default.
• W2193302029 hasConcept C2185349 @default.
• W2193302029 hasConcept C2776436953 @default.
• W2193302029 hasConcept C2776900844 @default.
• W2193302029 hasConcept C2779343474 @default.
• W2193302029 hasConcept C33923547 @default.
• W2193302029 hasConcept C41008148 @default.
• W2193302029 hasConcept C80444323 @default.
• W2193302029 hasConcept C81721847 @default.
• W2193302029 hasConcept C86803240 @default.
• W2193302029 hasConcept C89497691 @default.
• W2193302029 hasConceptScore W2193302029C127001435 @default.
• W2193302029 hasConceptScore W2193302029C128838566 @default.
• W2193302029 hasConceptScore W2193302029C134306372 @default.
• W2193302029 hasConceptScore W2193302029C151730666 @default.
• W2193302029 hasConceptScore W2193302029C154945302 @default.
• W2193302029 hasConceptScore W2193302029C156325763 @default.
• W2193302029 hasConceptScore W2193302029C177148314 @default.
• W2193302029 hasConceptScore W2193302029C184337299 @default.
• W2193302029 hasConceptScore W2193302029C189790780 @default.
• W2193302029 hasConceptScore W2193302029C199360897 @default.
• W2193302029 hasConceptScore W2193302029C207648694 @default.
• W2193302029 hasConceptScore W2193302029C2185349 @default.
• W2193302029 hasConceptScore W2193302029C2776436953 @default.
• W2193302029 hasConceptScore W2193302029C2776900844 @default.
• W2193302029 hasConceptScore W2193302029C2779343474 @default.
• W2193302029 hasConceptScore W2193302029C33923547 @default.
• W2193302029 hasConceptScore W2193302029C41008148 @default.
• W2193302029 hasConceptScore W2193302029C80444323 @default.
• W2193302029 hasConceptScore W2193302029C81721847 @default.
• W2193302029 hasConceptScore W2193302029C86803240 @default.
• W2193302029 hasConceptScore W2193302029C89497691 @default.
• W2193302029 hasIssue "01" @default.
• W2193302029 hasLocation W21933020291 @default.
• W2193302029 hasLocation W21933020292 @default.
• W2193302029 hasOpenAccess W2193302029 @default.
• W2193302029 hasPrimaryLocation W21933020291 @default.
• W2193302029 hasRelatedWork W1561664582 @default.

• next