This HTML5 document contains 49 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n12https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
n15http://www.sciencedirect.com/science/article/pii/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n19http://www.doc.ic.ac.uk/~rak/papers/
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
n21https://apps.dtic.mil/dtic/tr/fulltext/u2/
dbrhttp://dbpedia.org/resource/
n7http://www.ai.sri.com/people/cordellgreen/

Statements

Subject Item
dbr:Deductive_language
rdf:type
yago:Language106282651 yago:WikicatProgrammingLanguages yago:ArtificialLanguage106894544 yago:Communication100033020 dbo:Language yago:Abstraction100002137 yago:ProgrammingLanguage106898352
rdfs:label
Deductive language
rdfs:comment
A deductive language is a computer programming language in which the program is a collection of predicates ('facts') and rules that connect them. Such a language is used to create knowledge based systems or expert systems which can deduce answers to problem sets by applying the rules to the facts they have been given.An example of a deductive language is Prolog, or its database-query cousin, Datalog.
dct:subject
dbc:Programming_languages
dbo:wikiPageID
6477222
dbo:wikiPageRevisionID
1091167622
dbo:wikiPageWikiLink
dbr:Computer_programming dbr:Programming_language dbr:Knowledge_base dbr:Type_system dbr:Expert_system dbr:Databases dbr:Logic_programming dbr:Formal_logic dbr:SRI_International dbr:Robert_Kowalski dbr:Datalog dbc:Programming_languages dbr:Prolog dbr:Cordell_Green dbr:Knowledge_based_system dbr:Alain_Colmerauer dbr:Inference_engine dbr:First-order_logic
dbo:wikiPageExternalLink
n7: n15:0743106690900309 n19:IFIP%2074.pdf n19:sl.pdf n21:a459656.pdf
owl:sameAs
n12:4iiHj wikidata:Q5249852 freebase:m.0g6r_t yago-res:Deductive_language
dbp:wikiPageUsesTemplate
dbt:No_footnotes
dbo:abstract
A deductive language is a computer programming language in which the program is a collection of predicates ('facts') and rules that connect them. Such a language is used to create knowledge based systems or expert systems which can deduce answers to problem sets by applying the rules to the facts they have been given.An example of a deductive language is Prolog, or its database-query cousin, Datalog.
gold:hypernym
dbr:Language
prov:wasDerivedFrom
wikipedia-en:Deductive_language?oldid=1091167622&ns=0
dbo:wikiPageLength
5324
foaf:isPrimaryTopicOf
wikipedia-en:Deductive_language
Subject Item
dbr:Claire_(programming_language)
dbo:wikiPageWikiLink
dbr:Deductive_language
Subject Item
dbr:Deductive_Language
dbo:wikiPageWikiLink
dbr:Deductive_language
dbo:wikiPageRedirects
dbr:Deductive_language
Subject Item
wikipedia-en:Deductive_language
foaf:primaryTopic
dbr:Deductive_language