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
Computer Science,
4 months ago
English,
4 months ago
Political Science,
8 months ago
Math,
8 months ago
Math,
1 year ago
Biology,
1 year ago