Programmieren mit Prolog
Programmieren mit Prolog
Programmieren mit Prolog
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Beispiel: LogeleiZunächst werden die Originalformeln in eine äquivalenteMenge X von Gentzenformeln umgeformt (Übung).Wir überführen Fritz:Statt X B(f) zeigen wir X ∪ {B(f) → F } ⊢ R □wobei das Regelsystem R nur die Schnittregel enthält.W → A(f) ∨ B(f) B(f) → FW → A(f)(∗) A(f) ∧ A(e) → FW → A(g) ∨ A(e)A(e) → FW → A(g)A(g) ∧ A(f) → F(∗)A(f) → FW → FHochschule Darmstadt, Januar 2009 – p.29/54