About: HiLog

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

Programming logic with higher-order syntax

Property	Value
dbo:description	programming logic with higher-order syntax (en)
dbo:wikiPageExternalLink	https://content.iospress.com/articles/fundamenta-informaticae/fi82-3-02
dbo:wikiPageWikiLink	dbr:First_order_logic dbr:Model_theory dbr:Prolog dbr:Rule_Interchange_Format dbr:Logic dbr:XSB dbr:Term_(logic) dbr:First-order_logic dbr:Logical_conjunction dbr:Logic_programming dbr:F-logic dbr:Many-sorted_logic dbr:Transitive_closure dbr:Fundamenta_Informaticae dbc:Knowledge_representation dbc:Declarative_programming_languages dbc:Logic_programming_languages dbr:Flora-2 dbr:LISP dbr:Journal_of_Logic_Programming
dbp:wikiPageUsesTemplate	dbt:Cite_journal dbt:Reflist
dct:subject	dbc:Knowledge_representation dbc:Declarative_programming_languages dbc:Logic_programming_languages
gold:hypernym	dbr:Logic
rdfs:label	HiLog (en)
owl:sameAs	freebase:HiLog wikidata:HiLog dbpedia-global:HiLog
prov:wasDerivedFrom	wikipedia-en:HiLog?oldid=1170975492&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:HiLog
is dbo:wikiPageWikiLink of	dbr:Prolog dbr:XSB dbr:Logic_programming dbr:F-logic dbr:Flora-2 dbr:Rulelog
is foaf:primaryTopic of	wikipedia-en:HiLog

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International