Arbeitsweise	Grundlagen Unifikation Backtracking Resolution Pfad: Startseite / Fächer / Informatik / Prolog / Arbeitsweise
Autor: mk 23.04.2007 19:38 1443	Berechnungskonzept von Prolog

• 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

lokal