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