Rückwärtsgerichtetes Schließen

Eine Steuerungsstrategie für Schlussfolgerungen, die versucht, ein Ziel zu beweisen, indem rekursiv Unterziele gefunden und bewiesen werden, deren Beweise das Ziel implizieren; sie arbeitet typischerweise rückwärts vom Ziel zu den bekannten Fakten.