Informatik - Prolog - Berechnungskonzept

HSG

Aktuelle Seite: HSG/Fächer/Informatik/Prolog/Arbeitsweise

Die Schlussregel "modus ponens"
Modus ponens ist unvollständig.
Die prozedurale Semantik
Details zum Backtracking
Details zur Rekursion
Und-Oder-Beweisbaum - Tino Hempel
Provisor - Gerhard Röhner