Variablen in Prolog
- Scope/Gültigkeitsbereich: Die Klausel in der sie definiert wurde
- Variable hat in Klausel immer den selben Wert
- wenn Variablen nur einmal auftauchen → singeltons
- Meist Fehler. SWI-Prolog gibt Fehlermeldung aus
- Wenn Variable mehrfach auftaucht → gebundene Variable
_ist anonyme Variable: für irrelevante Werte