The Free On-line Dictionary of Computing (30 December 2018):
inference engine A program that infers new facts from known facts using inference rules. Commonly found as part of a Prolog interpreter, expert system or knowledge based system. (1994-11-01)