[کامپیوتر] زنجیره پسرو ؛ روشی برای استدلال که از هدف مطلوب شروع و به سمت حقایق از قبل شناخته شده ادامه می یابد.
