پاورپوينت هوش مصنوعی: استنتاج در منطق مرتبه اول