Inferenz von Werten

• Grundbereich: Aussagen der Form $\mathsf {wert}$ (p, z) mit p∈Exp , z∈$\mathbb {Z}$

  data Exp = Const Integer
           | Plus Exp Exp
           | Times Exp Exp
  

• Axiome: $\mathsf {wert}$ (Constz, z)
• Regeln:

  $${\frac{{\operatorname{\mathsf{wert}}(X,a),\operatorname{\mathsf{wert}}(Y,b)}}{{\operatorname{\mathsf{wert}}(\texttt{Plus}  X  Y,a+b)}}}$$,    $${\frac{{\operatorname{\mathsf{wert}}(X,a),\operatorname{\mathsf{wert}}(Y,b)}}{{\operatorname{\mathsf{wert}}(\texttt{Times}  X  Y,a\cdot b)}}}$$,...