What is the relationship between resolution and unification in prolog?
Answers
Answered by
6
What is the relationship between resolution and unification in Prolog? Resolution is the main process behind theorem proving. It is the process of deriving the inferred proposition from the given set of propositions. Resolution is applied to the propositions in their clausal form
Similar questions