how prolog employs resolution
Answers
Answered by
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
Hindi,
2 months ago
Political Science,
6 months ago
Math,
6 months ago
Math,
9 months ago
Biology,
9 months ago