Geri Yönde Çıkarsamalar Zinciri
Çıkarsama kurallarını belirlemek için hedef kuraldan başlayıp önce onun doğruluğunu göstermek amacıyla sistemin kuralları üzerinden, bir yanıt ya da daha önce elde edilen bir sonuç bulunana değin geri yönde özyineli biçimde gidilen yöntem.
Diğer terimler: zaman değişimsiz sistem, Rückwärtsverkettung, f, backward chaining; backward reasoning; goal-driven reasoning, chaînage arrière, m, C. proliferus; Cladanthus arabicus