منطق جبری در موتورهای استنتاج نوع