Programmieren mit Prolog

Vollständige RegelsystemeX A gdw X ∪ {¬A} □Also braucht man kein vollständiges Regelsystem Rwenn X A dann X ⊢ R Asondern nur ein widerlegungsvollständigeswenn X □ dann X ⊢ R □wenn man das Folgern automatisieren will.• X ⊢ R A: Aus X ist A mit Regeln aus R ableitbar.Hochschule Darmstadt, Januar 2009 – p.24/54