Correct Answer : First-order definite clause are similar to propositional forward chaining
Explanation : Fixed point reached by forward chaining with first-order definiteclause are similar to those for propositional forward chaining.