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.