About: SLD resolution

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

The basic inference rule used in logic programming

Property	Value
dbo:description	the basic inference rule used in logic programming (en)
dbo:wikiPageExternalLink	http://www.cis.upenn.edu/~jean/gbooks/logic.html https://cs.uwaterloo.ca/~david/cl/sld-gallier.pdf http://foldoc.org/%3FSLD+resolution
dbo:wikiPageWikiLink	dbc:Logic_programming dbr:Logic_programming dbr:Soundness dbr:Resolution_(logic) dbr:Rule_of_inference dbr:Prolog dbr:Negation_as_failure dbr:Horn_clause dbr:Search_tree dbr:Completeness_(logic) dbr:Depth-first_search dbr:Stack_(abstract_data_type) dbr:Branch-and-bound dbc:Rules_of_inference dbr:Breadth-first_search dbr:John_Alan_Robinson dbr:Best-first_search dbr:Robert_Kowalski dbr:Jean_Gallier dbr:And-or_tree dbr:Backward_reasoning dbr:Definite_clause dbr:Unification_(computing)
dbp:wikiPageUsesTemplate	dbt:Short_description
dct:subject	dbc:Logic_programming dbc:Rules_of_inference
gold:hypernym	dbr:Rule
rdfs:label	SLD resolution (en) SLD-résolution (fr) Resolução SLD (pt) ВЛВ-резолюція (uk)
owl:sameAs	freebase:SLD resolution yago-res:SLD resolution wikidata:SLD resolution dbpedia-fr:SLD resolution dbpedia-pt:SLD resolution dbpedia-fa:SLD resolution dbpedia-uk:SLD resolution dbpedia-global:SLD resolution
prov:wasDerivedFrom	wikipedia-en:SLD_resolution?oldid=1288133584&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:SLD_resolution
is dbo:wikiPageDisambiguates of	dbr:SLD
is dbo:wikiPageRedirects of	dbr:Standard_Linear_Derivation
is dbo:wikiPageWikiLink of	dbr:Situation_calculus dbr:Prolog_syntax_and_semantics dbr:Backward_chaining dbr:Logic_programming dbr:Resolution_(logic) dbr:Prolog dbr:Horn_clause dbr:Procedural_programming dbr:Problem_solving dbr:Completeness_(logic) dbr:Mercury_(programming_language) dbr:Curry_(programming_language) dbr:SLD dbr:Glossary_of_artificial_intelligence dbr:List_of_programming_language_researchers dbr:Robert_Kowalski dbr:Stable_model_semantics dbr:Model_elimination dbr:Standard_Linear_Derivation
is foaf:primaryTopic of	wikipedia-en:SLD_resolution