Inference engine (as in expert systems).