Grundlagen der Programmiersprachen SS 2016 - Folie 812a
Ziele:
Prinzip der Unifikation wiederholen
in der Vorlesung:
Wiederholung der Begriffe
- Terme
- Bindung von Variablen durch Substitution
- Unifikation
nachlesen:
Skript zu Modellierung, Kap. 3.1
Verständnisfragen:
- Vergleichen Sie: Bindung durch Unifikation und Bindung durch Muster in SML.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 22.05.2016