البرمجة, الذكاء الاصطناعي, المنطق الرياضي, علوم الحاسوبالتعامد (إعادة كتابة المصطلحات) (Orthogonality (term rewriting))