FRINK Linked Data Fragments server

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

• W192608742 abstract "An accident of implementation may be responsible for the fact that Logic Programming, Deductive Databases and Non-Monotonic Reasoning are different subfields. Logic Programming views logic as a programming language--usually through Prolog or an extension of Prolog. The Deductive Database community regards logic as a database language, often using a variant of magic sets as a basis for implementation. Finally the field of Non-Monotonic Reasoning studies non-classical logics of interest to Artificial Intelligence or other applications. However, there are currently few engines powerful enough to execute practical programs in Non-Monotonic Reasoning. Tabling methods have been formulated recently that have the potential to unify these subfields. This thesis explores how to efficiently implement one such method: SLG.Previous formulations of SLG do not make explicit the search strategy for an evaluation, or consider trade-offs between alternate search strategies. To bring out these features, an operational semantics for SLG, SLG$sb{O}$, is defined which makes explicit algorithms for completion and other operations. This formalism allows proofs of correctness of algorithms upon which the SLG-WAM is based, as well as proofs of termination for programs of bounded-term size. The modelling of search strategy is powerful enough to derive preliminary results for the cut/O operator as extended to SLG, and for combining SLG and SLDNF using Existential Negation.Based on the SLG$sb{O}$ search strategy, Part 2 describes the SLG-WAM, an engine which evaluates SLG for stationary stratified programs, and integrates SLG with full Prolog functionality, including the cut, findall, and meta-predicates. Data structures and instructions of the SLG-WAM are described in detail. The SLG-WAM is in fact the engine for the XSB system, and has been installed in hundreds of sites around the world.Part three analyzes the SLG-WAM and compares its performance with the WAM and with other deductive databases. When executing queries using SLD, the overhead of SLG to the WAM is about 10-15% on some standard benchmarks. At the same time, the SLG-WAM is an order of magnitude faster than current deductive databases for in-memory queries. These results are analyzed in detail, and areas for further optimization are identified." @default.
• W192608742 created "2016-06-24" @default.
• W192608742 creator A5066015052 @default.
• W192608742 date "1994-12-15" @default.
• W192608742 modified "2023-09-23" @default.
• W192608742 title "Efficient evaluation of normal logic programs" @default.
• W192608742 hasPublicationYear "1994" @default.
• W192608742 type Work @default.
• W192608742 sameAs 192608742 @default.
• W192608742 citedByCount "4" @default.
• W192608742 crossrefType "journal-article" @default.
• W192608742 hasAuthorship W192608742A5066015052 @default.
• W192608742 hasConcept C108710211 @default.
• W192608742 hasConcept C128838566 @default.
• W192608742 hasConcept C148230440 @default.
• W192608742 hasConcept C159032336 @default.
• W192608742 hasConcept C189790780 @default.
• W192608742 hasConcept C199360897 @default.
• W192608742 hasConcept C2524010 @default.
• W192608742 hasConcept C2777502361 @default.
• W192608742 hasConcept C33923547 @default.
• W192608742 hasConcept C41008148 @default.
• W192608742 hasConcept C55439883 @default.
• W192608742 hasConcept C80444323 @default.
• W192608742 hasConcept C81721847 @default.
• W192608742 hasConceptScore W192608742C108710211 @default.
• W192608742 hasConceptScore W192608742C128838566 @default.
• W192608742 hasConceptScore W192608742C148230440 @default.
• W192608742 hasConceptScore W192608742C159032336 @default.
• W192608742 hasConceptScore W192608742C189790780 @default.
• W192608742 hasConceptScore W192608742C199360897 @default.
• W192608742 hasConceptScore W192608742C2524010 @default.
• W192608742 hasConceptScore W192608742C2777502361 @default.
• W192608742 hasConceptScore W192608742C33923547 @default.
• W192608742 hasConceptScore W192608742C41008148 @default.
• W192608742 hasConceptScore W192608742C55439883 @default.
• W192608742 hasConceptScore W192608742C80444323 @default.
• W192608742 hasConceptScore W192608742C81721847 @default.
• W192608742 hasLocation W1926087421 @default.
• W192608742 hasOpenAccess W192608742 @default.
• W192608742 hasPrimaryLocation W1926087421 @default.
• W192608742 hasRelatedWork W138733772 @default.
• W192608742 hasRelatedWork W1480711285 @default.
• W192608742 hasRelatedWork W1501876253 @default.
• W192608742 hasRelatedWork W1563640839 @default.
• W192608742 hasRelatedWork W1570106656 @default.
• W192608742 hasRelatedWork W1572831335 @default.
• W192608742 hasRelatedWork W1574329439 @default.
• W192608742 hasRelatedWork W161566264 @default.
• W192608742 hasRelatedWork W1882854904 @default.
• W192608742 hasRelatedWork W1997210046 @default.
• W192608742 hasRelatedWork W2070598037 @default.
• W192608742 hasRelatedWork W2089102668 @default.
• W192608742 hasRelatedWork W2140252376 @default.
• W192608742 hasRelatedWork W2149825742 @default.
• W192608742 hasRelatedWork W2166420503 @default.
• W192608742 hasRelatedWork W2803497796 @default.
• W192608742 hasRelatedWork W3212446170 @default.
• W192608742 hasRelatedWork W91555025 @default.
• W192608742 hasRelatedWork W166318862 @default.
• W192608742 hasRelatedWork W1866499192 @default.
• W192608742 isParatext "false" @default.
• W192608742 isRetracted "false" @default.
• W192608742 magId "192608742" @default.
• W192608742 workType "article" @default.