Programming Language Theory ConceptBackward chainingProperties 4Hide BooksChapter 2. Inductive definitions JourneyProgramming Language Theory Statusreviewing Tagslogicproof reason techniqueset theory relationA proof technique for Judgments that starts from the desired judgement and works backwards towards the Axioms. Previous in ConceptsAxiomatic semanticsNext in Concepts Backward chaining search