Heute: • Terme vergleichen • Struktur von Termen • Operatoren
Heute: • Terme vergleichen • Struktur von Termen • Operatoren
Heute: • Terme vergleichen • Struktur von Termen • Operatoren
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Priorität (forts.)<br />
Zum Beispiel:<br />
Prec(is) > Prec(+) > Prec(*)<br />
X is 3 + 2*4 ⇒ is(X,+(3,*(2,4)))<br />
Logik in der Praxis – Logikprogrammierung (Prolog) – p.22