Programmieren mit Prolog
Programmieren mit Prolog
Programmieren mit Prolog
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Regelsysteme (Kalküle)Sei R ein Regelsystem,X eine Formelmenge und A eine Formel.X ⊢ R A Aus X ist A <strong>mit</strong> Regeln aus R ableitbar.• R ist korrekt, falls für alle X und A giltwenn X ⊢ R A dann X A• R ist vollständig, falls für alle X und A giltwenn X A dann X ⊢ R AHochschule Darmstadt, Januar 2009 – p.23/54