HiLog is a programming logic with higherorder syntax, which allows arbitrary terms to appear in predicate and function positions. However, the model theory of HiLog is firstorder. 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 manysorted logic. The Framework for LogicBased Dialects (RIFFLD) of the Rule Interchange Format (RIF) is largely based on the ideas underlying HiLog and Flogic.
Property  Value 

dbo:abstract 

dbo:wikiPageExternalLink  
dbo:wikiPageID 

dbo:wikiPageLength 

dbo:wikiPageRevisionID 

dbo:wikiPageWikiLink 

dbp:wikiPageUsesTemplate  
dct:subject  
rdfs:comment 

rdfs:label 

owl:sameAs  
prov:wasDerivedFrom  
foaf:isPrimaryTopicOf  
is dbo:wikiPageWikiLink of  
is foaf:primaryTopic of 