Report copyright - Forward/Backward Chaining Unification and …...Properties of forward chaining • Sound and complete for first-order definite clauses • Datalog = first-order definite clauses +
Please pass captcha verification before submit form
Please pass captcha verification before submit form