Grundlagen der Programmiersprachen SS 2012 - Folie 812
Ziele:
Anwendung von Klauseln verstehen
in der Vorlesung:
Erläuterung der Beispiele:
- Unifikation entscheidet über Anwendbarkeit,
- Unifikation bindet Terme an Variablen
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 22.03.2012