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)