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.
Schnitt- plus SubstitutionsregelDer Kalkül ist korrektwenn X ⊢ A dann X Aund widerlegungsvollständigwenn X □ dann X ⊢ □aber nicht vollständigwenn X A dann X ⊢ AGegenbeispiel: X = {C → F } und A = (C → D)Hochschule Darmstadt, Januar 2009 – p.28/54