مُستدِل دلالي

برمجيات تُستخدم لاستخلاص النتائج المنطقية من مجموعة من الحقائق والبديهيات المؤكدة.

Semantic Reasoner