HSG
Grundlagen
Unifikation
Backtracking
Resolution
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
