تسلسل عكسي

طريقة استدلال منطقي تعمل بطريقة تراجعية من الهدف لتحديد البيانات أو الإثباتات المؤيدة لذلك الهدف.

Backward Chaining