SLD Resolution Algorithm
(Redirected from SLD resolution)
Jump to navigation
Jump to search
An SLD Resolution Algorithm is a Backward Chaining Algorithm that ...
- AKA: SLD Resolution, Selective Linear Definite, Selective Linear Definite Clause Resolution.
- …
- Counter-Example(s):
See: Clause Resolution.
References
2009
- http://en.wikipedia.org/wiki/SLD_resolution
- SLD resolution (Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses.