Matches in DBpedia 2014 for { <http://dbpedia.org/resource/HiLog> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- HiLog abstract "HiLog is a programming logic with higher-order syntax, which allows arbitrary terms to appear in predicate and function positions. However, the model theory of HiLog is first-order. Although syntactically HiLog strictly extends first order logic, HiLog can be embedded into this logic.HiLog is described in detail in. It was later extended in the direction of many-sorted logic in.Other contributions to the theory of HiLog include.The XSB System parses HiLog syntax, but the integration of HiLog into XSB is only partial. In particular, HiLog is not integrated with the XSB module system. A full implementation of HiLog is available in the Flora-2 system.In, it has been shown that HiLog can be embedded into first-order logic through a fairly simple transformation. For instance, p(X)(Y,Z(V)(W)) gets embedded as the following first-order term: apply(p(X),Y,apply(apply(Z,V),W))Details can be found in.The Framework for Logic-Based Dialects (RIF-FLD) of the Rule Interchange Format (RIF) is largely based on the ideas underlying HiLog and F-logic.".
- HiLog wikiPageID "34697893".
- HiLog wikiPageRevisionID "594331762".
- HiLog subject Category:Declarative_programming_languages.
- HiLog subject Category:Knowledge_representation.
- HiLog subject Category:Logic_programming_languages.
- HiLog comment "HiLog is a programming logic with higher-order syntax, which allows arbitrary terms to appear in predicate and function positions. However, the model theory of HiLog is first-order. Although syntactically HiLog strictly extends first order logic, HiLog can be embedded into this logic.HiLog is described in detail in.".
- HiLog label "HiLog".
- HiLog sameAs m.0wxs084.
- HiLog sameAs Q17029831.
- HiLog sameAs Q17029831.
- HiLog wasDerivedFrom HiLog?oldid=594331762.
- HiLog isPrimaryTopicOf HiLog.