Computer Science, asked by somil1183187, 6 months ago

how prolog employs resolution​

Answers

Answered by sahil2468
0

Explanation:

Prolog execution is based on the Resolution proof method. Resolution is a technique of producing a new clause by resolving two clauses that contain a complimentary literal and Resolution produces proof by Refutation.

Similar questions