Programmieren mit Prolog

Semantik: Noch mehr BeispieleStruktur Z mit der Datenmenge Z (die ganzen Zahlen)• Die Konstante 0 als Interpretation von n,die Funktion n ↦→ n + 1 als Interpretation von s,die Funktion n, m ↦→ n + m als Interpretation von add• Die Relation {2n | n ∈ Z} als Interpretation von G,die Relation {2n + 1 | n ∈ Z} als Interpretation von U,die Relation {(n, m) | n < m} als Interpretation von KStruktur S mit der Datenmenge {0} (eine einelementige Menge)• Die Konstante 0 als Interpretation von n,die Funktion n ↦→ 0 als Interpretation von s,die Funktion n, m ↦→ 0 als Interpretation von add• Die Relation {0} als Interpretation von G,die Relation {} als Interpretation von U,die Relation {(0, 0)} als Interpretation von KHochschule Darmstadt, Januar 2009 – p.11/54