Skip to content
scrambled
Programming Language Theory Flashcard

Why is forward chaining undirected?

Books Concepts Deckproof technique

Question

Why is forward chaining undirected?

Answer

Forward chaining just keeps track of a set of currently derived judgments and then expands its each step - oblivious of the goal.