Programmieren mit Prolog
Programmieren mit Prolog
Programmieren mit Prolog
WENIGER ANZEIGEN
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Terme und Formeln auswertenTerme und Formeln zu einer gegebenen Signaturlassen sich in jeder passenden Struktur M auswerten.Notation: Stets sei f M bzw. P M die Interpretationder Symbole f bzw. P in M.Auswerten von innen nach außenwert M (f(t 1 ,...,t n )) = f M (wert M (t 1 ),...,wert M (t n ))Beispiele• wert N (add(n,s(add(s(n),n)))) = 2• wert Z (add(n,s(add(s(n),n)))) = 2• wert S (add(n,s(add(s(n),n)))) = 0Hochschule Darmstadt, Januar 2009 – p.12/54
Change language