Source : Free On-Line Dictionary of Computing

inference engine
     
        A program that infers new {fact}s from known facts using
        {inference rule}s.  Commonly found as part of a {Prolog}
        {interpreter}, {expert system} or {knowledge based system}.
     
        (1994-11-01)