Logik und Logische Programmierung Einführung

Operational Reading of Logic!∀F,G,U,V. dx(F+G, U+V) ← dx(F,U) ∧ dx(G,V)!Logical meaning:!“If U is the derivative of F and V the derivative of Gthen U+V is the derivative of F+G”!Operational reading:!“To calculate the derivative of F+G one should firstcalculate the derivatives of F and G and composethe results”!Simple (incomplete) translation to C:!void dx(in,out) { match(in,’+’,f,g);dx(f,u); dx(g,v); construct(out,’+’,u,v); }!