Computer Science, asked by anusha39801, 1 year ago

Relationship between resolution and unification in prolog

Answers

Answered by sehangshu22

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.

Previous Question

Next Question

Similar questions

Science, 7 months ago

Serially indicaded in the upper part of the periodic table's boxes.

Science, 7 months ago

ano ang kahinaan at kalakasan ni emilio aguinaldo at andres bonifacio...

Math, 7 months ago

ratlam recieved 3/11 part of budget money for construction of roads and 5/22 part of it for development of parks. What part of total money did it received in all ? In full method...

Science, 1 year ago

algae used for the discovery of path of carbon in dark raction were..........

Science, 1 year ago

what happens at mid ocean ridges...

Math, 1 year ago

The area of a square field is 161604m². Find the length of one of its side...

Math, 1 year ago

The whole surface area of the right circular cylinder with base radius 7 and height is 15...

Math, 1 year ago

using factor theorem factorise the polynomial x^4 -2x^3-7x^2+8x+12...