روش تقسیم و تسخیر
divide and conquer method
زنجیره‌ای به عقب
backward chaining
زنجیری شدن رو به جلو
forward chaining
هوش مصنوعی
artificial intelligence
اثبات قضیه
theorem proving
فن عقب‌گرد
backtracking
حل مسئله
problem solving