main job
priority assignment
Its main job is to check whether a certain proposition can be inferred from a KB (knowledge base) using an algorithm called backward chaining.
Its priority assignment is to check whether a certain proposition can be inferred from a KB (knowledge base) using an algorithm called backward chaining.