Grundlagen der Programmiersprachen SS 2012 - 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.03.2012