Grundlagen der Programmiersprachen SS 2016 - 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.05.2016