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