SLD-resolution

E2202202 UNEXPLORED

SLD-resolution is a goal-directed logical inference method used in logic programming and Prolog to derive consequences from Horn clauses via systematic resolution steps.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
SLD-resolution canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Robinson unification algorithm → relatedTo → SLD-resolution ⓘ