SLD Resolution Algorithm

From GM-RKB
(Redirected from SLD Algorithm)
Jump to navigation Jump to search

An SLD Resolution Algorithm is a Backward Chaining Algorithm that ...

See: Clause Resolution.



References

2009