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.
<strong>Terme</strong> analysieren<br />
Prädikat<br />
atom/1<br />
integer/1<br />
number/1<br />
atomic/1<br />
var/1<br />
nonvar/1<br />
testet ob sein Argument<br />
ein Atom ist<br />
eine natürliche Zahl ist<br />
eine Zahl ist<br />
eine Konstante ist<br />
uninstanziiert ist<br />
instanziiert ist<br />
Logik in der Praxis – Logikprogrammierung (Prolog) – p.7