About: Deductive language

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

Computer programming language

Property	Value
dbo:description	computer programming language (en) računalniški programski jezik (sl)
dbo:wikiPageExternalLink	http://www.doc.ic.ac.uk/~rak/papers/IFIP%2074.pdf http://www.doc.ic.ac.uk/~rak/papers/sl.pdf http://www.sciencedirect.com/science/article/pii/0743106690900309 http://www.ai.sri.com/people/cordellgreen/ https://apps.dtic.mil/dtic/tr/fulltext/u2/a459656.pdf
dbo:wikiPageWikiLink	dbr:Logic_programming dbr:Inference_engine dbr:Knowledge_base dbr:First-order_logic dbr:Prolog dbr:Type_system dbr:Datalog dbc:Programming_languages dbr:Formal_logic dbr:Programming_language dbr:Alain_Colmerauer dbr:SRI_International dbr:Expert_system dbr:Databases dbr:Computer_programming dbr:Robert_Kowalski dbr:Cordell_Green dbr:Knowledge_based_system
dbp:wikiPageUsesTemplate	dbt:No_footnotes dbt:Refend dbt:Refbegin
dct:subject	dbc:Computer_programming dbc:Programming_languages dbc:Databases
gold:hypernym	dbr:Language
rdfs:label	Deductive language (en)
owl:sameAs	yago-res:Deductive language freebase:Deductive language wikidata:Deductive language dbpedia-global:Deductive language
prov:wasDerivedFrom	wikipedia-en:Deductive_language?oldid=1214786863&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Deductive_language
is dbo:wikiPageRedirects of	dbr:Deductive_Language
is dbo:wikiPageWikiLink of	dbr:Claire_(programming_language) dbr:Deductive_Language
is foaf:primaryTopic of	wikipedia-en:Deductive_language

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