Matches in SemOpenAlex for { <https://semopenalex.org/work/W1565256608> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1565256608 abstract "HiLog enhances the modeling capabilities of deductive data bases and logic programming with higher-order and meta-data constructs, complex objects, and schema browsing. Its distinctive feature, a higher-order syntax with a first-order semantics, allows for efficient implementation with speeds comparable to Prolog. In fact, HiLog implementation in XSB [29, 25] together with tabulated query evaluation offers impressive performance with negligible penalty for higher-order syntax, thereby bringing the modeling capabilities of HiLog to practical realization. The lack of sorts in HiLog, however, is somewhat of a problem in database applications, which led to a number of HiLog dialects such as DataHiLog [24]. This paper develops a comprehensive theory of sorts for HiLog. It supports HiLog's flexible higher-order syntax via a polymorphic and recursive sort structure, and it offers an easy and convenient mechanism to control the rules of well-formedness. By varying the sort structure we obtain a full spectrum of languages, ranging from classical predicate logic to the original (non-sorted) HiLog. In between, there is a number of interesting higher-order extensions of Datalog with various degrees of control over the syntax, including second-order predicate calculus with Henkin-style semantics, as described in [10]. We also discuss the benefits of using Sorted HiLog for modeling complex objects and for meta programming. Finally, Sorted HiLog can be easily incorporated into XSB, which makes its practical realization feasible." @default.
- W1565256608 created "2016-06-24" @default.
- W1565256608 creator A5024584263 @default.
- W1565256608 creator A5059918476 @default.
- W1565256608 date "1995-01-01" @default.
- W1565256608 modified "2023-09-27" @default.
- W1565256608 title "Sorted HiLog: Sorts in higher-order logic data languages" @default.
- W1565256608 cites W1606504862 @default.
- W1565256608 cites W1979966822 @default.
- W1565256608 cites W1987862681 @default.
- W1565256608 cites W1993806252 @default.
- W1565256608 cites W1996404651 @default.
- W1565256608 cites W2005835473 @default.
- W1565256608 cites W2007165718 @default.
- W1565256608 cites W2038037493 @default.
- W1565256608 cites W2085609918 @default.
- W1565256608 cites W2107046473 @default.
- W1565256608 cites W2150426212 @default.
- W1565256608 cites W2169526198 @default.
- W1565256608 doi "https://doi.org/10.1007/3-540-58907-4_20" @default.
- W1565256608 hasPublicationYear "1995" @default.
- W1565256608 type Work @default.
- W1565256608 sameAs 1565256608 @default.
- W1565256608 citedByCount "3" @default.
- W1565256608 countsByYear W15652566082012 @default.
- W1565256608 countsByYear W15652566082015 @default.
- W1565256608 crossrefType "book-chapter" @default.
- W1565256608 hasAuthorship W1565256608A5024584263 @default.
- W1565256608 hasAuthorship W1565256608A5059918476 @default.
- W1565256608 hasConcept C100481476 @default.
- W1565256608 hasConcept C102993220 @default.
- W1565256608 hasConcept C105795698 @default.
- W1565256608 hasConcept C114408938 @default.
- W1565256608 hasConcept C128838566 @default.
- W1565256608 hasConcept C140146324 @default.
- W1565256608 hasConcept C148230440 @default.
- W1565256608 hasConcept C154945302 @default.
- W1565256608 hasConcept C156325763 @default.
- W1565256608 hasConcept C184337299 @default.
- W1565256608 hasConcept C19689857 @default.
- W1565256608 hasConcept C199360897 @default.
- W1565256608 hasConcept C2781089630 @default.
- W1565256608 hasConcept C33923547 @default.
- W1565256608 hasConcept C41008148 @default.
- W1565256608 hasConcept C60048249 @default.
- W1565256608 hasConcept C77088390 @default.
- W1565256608 hasConcept C80444323 @default.
- W1565256608 hasConcept C81721847 @default.
- W1565256608 hasConcept C88548561 @default.
- W1565256608 hasConceptScore W1565256608C100481476 @default.
- W1565256608 hasConceptScore W1565256608C102993220 @default.
- W1565256608 hasConceptScore W1565256608C105795698 @default.
- W1565256608 hasConceptScore W1565256608C114408938 @default.
- W1565256608 hasConceptScore W1565256608C128838566 @default.
- W1565256608 hasConceptScore W1565256608C140146324 @default.
- W1565256608 hasConceptScore W1565256608C148230440 @default.
- W1565256608 hasConceptScore W1565256608C154945302 @default.
- W1565256608 hasConceptScore W1565256608C156325763 @default.
- W1565256608 hasConceptScore W1565256608C184337299 @default.
- W1565256608 hasConceptScore W1565256608C19689857 @default.
- W1565256608 hasConceptScore W1565256608C199360897 @default.
- W1565256608 hasConceptScore W1565256608C2781089630 @default.
- W1565256608 hasConceptScore W1565256608C33923547 @default.
- W1565256608 hasConceptScore W1565256608C41008148 @default.
- W1565256608 hasConceptScore W1565256608C60048249 @default.
- W1565256608 hasConceptScore W1565256608C77088390 @default.
- W1565256608 hasConceptScore W1565256608C80444323 @default.
- W1565256608 hasConceptScore W1565256608C81721847 @default.
- W1565256608 hasConceptScore W1565256608C88548561 @default.
- W1565256608 hasLocation W15652566081 @default.
- W1565256608 hasOpenAccess W1565256608 @default.
- W1565256608 hasPrimaryLocation W15652566081 @default.
- W1565256608 hasRelatedWork W127331667 @default.
- W1565256608 hasRelatedWork W1509809797 @default.
- W1565256608 hasRelatedWork W1511906506 @default.
- W1565256608 hasRelatedWork W1520935955 @default.
- W1565256608 hasRelatedWork W1522395947 @default.
- W1565256608 hasRelatedWork W1529621920 @default.
- W1565256608 hasRelatedWork W1529624952 @default.
- W1565256608 hasRelatedWork W1562307676 @default.
- W1565256608 hasRelatedWork W1858561842 @default.
- W1565256608 hasRelatedWork W1992917779 @default.
- W1565256608 hasRelatedWork W2016620223 @default.
- W1565256608 hasRelatedWork W2034962444 @default.
- W1565256608 hasRelatedWork W2164371360 @default.
- W1565256608 hasRelatedWork W2545292293 @default.
- W1565256608 hasRelatedWork W2756101299 @default.
- W1565256608 hasRelatedWork W2768218374 @default.
- W1565256608 hasRelatedWork W2970835900 @default.
- W1565256608 hasRelatedWork W43441211 @default.
- W1565256608 hasRelatedWork W2160815532 @default.
- W1565256608 hasRelatedWork W2560841415 @default.
- W1565256608 isParatext "false" @default.
- W1565256608 isRetracted "false" @default.
- W1565256608 magId "1565256608" @default.
- W1565256608 workType "book-chapter" @default.