Interpreters and Inference Engines