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.