A reasoner is a piece of software able to infer logical consequences from a set of asserted facts or axioms.
Reasoner may also refer to: