Which knowledge base is called as fixed point?

• A. first-order definite clause is similar to propositional forward chaining
• B. first-order definite clause is mismatch to propositional forward chaining
• C. both a & b
• D. none of the mentioned