About: HiLog

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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 was first described in 1989. It was later extended in the direction of many-sorted logic. 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.

Property	Value
dbo: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 was first described in 1989. It was later extended in the direction of many-sorted logic. 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. 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)). 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. (en)
dbo:wikiPageExternalLink	https://content.iospress.com/articles/fundamenta-informaticae/fi82-3-02
dbo:wikiPageID	34697893 (xsd:integer)
dbo:wikiPageLength	5101 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1032310555 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Prolog dbr:Model_theory dbc:Declarative_programming_languages dbc:Logic_programming_languages dbr:Logic dbr:Logical_conjunction dbr:Fundamenta_Informaticae dbr:Transitive_closure dbr:Logic_programming dbr:First-order_logic dbr:Flora-2 dbr:Rule_Interchange_Format dbr:Term_(logic) dbc:Knowledge_representation dbr:LISP dbr:XSB dbr:Many-sorted_logic dbr:F-logic dbr:First_order_logic dbr:Journal_of_Logic_Programming
dbp:wikiPageUsesTemplate	dbt:Cite_journal dbt:Reflist dbt:CiteSeerX
dcterms:subject	dbc:Declarative_programming_languages dbc:Logic_programming_languages dbc:Knowledge_representation
gold:hypernym	dbr:Logic
rdfs: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 was first described in 1989. It was later extended in the direction of many-sorted logic. 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. (en)
rdfs:label	HiLog (en)
owl:sameAs	freebase:HiLog wikidata:HiLog https://global.dbpedia.org/id/fKSd
prov:wasDerivedFrom	wikipedia-en:HiLog?oldid=1032310555&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:HiLog
is dbo:wikiPageWikiLink of	dbr:Prolog dbr:Logic_programming dbr:Flora-2 dbr:XSB dbr:F-logic dbr:Rulelog
is foaf:primaryTopic of	wikipedia-en:HiLog

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License