inference program

inference program

[′in·frəns ‚prō·grəm] (computer science) A computer program that uses certain facts provided as input to reach conclusions.