Matches in SemOpenAlex for { <https://semopenalex.org/work/W139130934> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W139130934 abstract "Prolog systems such as XSB have proven that tabling can be quite helpful in a variety of tasks, especially if it is efficiently implemented and fully integrated in the language. Implementing tabling in Mercury poses special challenges for several reasons. First, Mercury is both semantically and culturally quite different from Prolog. While decreeing that tabled predicates must not include cuts (or Prolog-style negations) is acceptable in a Prolog system, it is not acceptable in Mercury, since if-then-elses and existential quantification have sound semantics and are used very frequently both by programmers and by the compiler. The Mercury implementation thus has no option but to handle interactions of tabling with Mercury’s language features safely. Second, the Mercury implementation is vastly different from the WAM, and many of the differences (e.g. storing values directly in stack slots without indirection, the absence of a trail) have significant impact on the implementation of tabling. In this paper, we describe how we adapted the copying approach to tabling to implement minimal model tabling in Mercury." @default.
- W139130934 created "2016-06-24" @default.
- W139130934 creator A5009640372 @default.
- W139130934 creator A5082632656 @default.
- W139130934 date "2005-01-01" @default.
- W139130934 modified "2023-09-26" @default.
- W139130934 title "Minimal Model Tabling in Mercury" @default.
- W139130934 cites W1487637594 @default.
- W139130934 cites W1492147896 @default.
- W139130934 cites W1522225310 @default.
- W139130934 cites W1524332517 @default.
- W139130934 cites W1595143656 @default.
- W139130934 cites W1598169925 @default.
- W139130934 cites W1982243747 @default.
- W139130934 cites W1997210046 @default.
- W139130934 cites W1998915208 @default.
- W139130934 cites W2005907808 @default.
- W139130934 cites W2061236588 @default.
- W139130934 cites W2070598037 @default.
- W139130934 cites W2085609918 @default.
- W139130934 cites W2127409356 @default.
- W139130934 cites W2155945137 @default.
- W139130934 cites W2173733616 @default.
- W139130934 cites W243832903 @default.
- W139130934 hasPublicationYear "2005" @default.
- W139130934 type Work @default.
- W139130934 sameAs 139130934 @default.
- W139130934 citedByCount "1" @default.
- W139130934 crossrefType "journal-article" @default.
- W139130934 hasAuthorship W139130934A5009640372 @default.
- W139130934 hasAuthorship W139130934A5082632656 @default.
- W139130934 hasConcept C169590947 @default.
- W139130934 hasConcept C199360897 @default.
- W139130934 hasConcept C2777777548 @default.
- W139130934 hasConcept C41008148 @default.
- W139130934 hasConcept C81721847 @default.
- W139130934 hasConceptScore W139130934C169590947 @default.
- W139130934 hasConceptScore W139130934C199360897 @default.
- W139130934 hasConceptScore W139130934C2777777548 @default.
- W139130934 hasConceptScore W139130934C41008148 @default.
- W139130934 hasConceptScore W139130934C81721847 @default.
- W139130934 hasLocation W1391309341 @default.
- W139130934 hasOpenAccess W139130934 @default.
- W139130934 hasPrimaryLocation W1391309341 @default.
- W139130934 isParatext "false" @default.
- W139130934 isRetracted "false" @default.
- W139130934 magId "139130934" @default.
- W139130934 workType "article" @default.