Home//Concepts/Backward chaining

Overviewjust now

154

2

4

1082

3

2

24

633

Dimensional inference rule formatjust now Abstract binding graphjust now Abstract binding tree abtjust now Abstract binding tree abt valence abstractorjust now Abstract data typejust now

408

11

4

Overviewjust now

154

2

4

1082

3

2

24

633

Dimensional inference rule formatjust now Abstract binding graphjust now Abstract binding tree abtjust now Abstract binding tree abt valence abstractorjust now Abstract data typejust now

408

11

4

Concept

Backward chaining

Modified just now

Books

Chapter 2. Inductive definitions

JourneyProgramming Language Theory Statusreviewing Tags

logic
proof-reason-technique
set-theory-relation

A proof technique for Judgments that starts from the desired judgement and works backwards towards the Axioms.

Previous in ConceptsAxiomatic semantics Next in Concepts Backward chaining search

Books

Chapter 2. Inductive definitions

JourneyProgramming Language Theory

Statusreviewing

Tags

logic
proof-reason-technique
set-theory-relation