SLD resolution
Sign in to savethe basic inference rule used in logic programming
Connections
Horn clause
Entity
empty set
Entity
Prolog
Entity
propositional calculus
Entity
stack
Entity
depth-first search
Entity
breadth-first search
Entity
logic programming
Entity
backtracking
Entity
rule of inference
Entity
unification
Entity
soundness
Entity
resolution
Entity
branch and bound
Entity
best-first search
Entity
search tree
Entity
completeness
Entity
Robert Kowalski
Entity
backward chaining
Entity
John Alan Robinson
Entity