Arbeitsweise	[Grundlagen] [Unifikation] [Backtracking] [Resolution] Pfad: [Startseite] / [Fächer] / [Informatik] / [Prolog] / [Arbeitsweise]
Hohenstaufen-Gymnasium Kaiserslautern	Autor: mk Letzte Änderung dieser Seite: 23.04.2007 19:38:44  916 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