consequence finding program

consequence finding program

[′kän·sə·kwəns ¦fīnd·iŋ ‚prō·grəm]
(computer science)
A computer program that attempts to deduce mathematical consequences from a set of axioms and to select those consequences that will be significant.