Inferenz von Werten

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

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

• Axiome: $\mathsf {wert}$ (Constz, z) mathend000#
• 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)}}}$$,... mathend000#