Programming Language Theory Flashcard
What are the methods of finding derivations?
Books
Concepts
Decklogic tools
Question
What are the methods of finding derivations?
Answer
Forward chaining/Bottom-up construction
Start with the set of axioms, and work towards the desired judgment.
Backward chaining/Top-down construction
Start with the desired judgment, and work backwards towards the axioms.