0 alternative definitions
A piece of software used to draw logical consequences from a set of confirmed facts and axioms.
مُستدِل دلالي
