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.
Spezielle Regeln oder Formeln• Positiver Schnitt (für Gentzenformeln)W → B ∨ P P ∧ C → DC → B ∨ D• PROLOG-Regel (für Hornformeln)A → PP ∧ C → FA ∧ C → F• Schneide nie, wenn der Schnitt eine Tautologie liefert.• Schneide nur über das in einer Prämisse am weitestenlinks stehende Atom.• Spezielle Formeltypen: HornformelnHochschule Darmstadt, Januar 2009 – p.41/54