Heute: • Terme vergleichen • Struktur von Termen • Operatoren
Heute: • Terme vergleichen • Struktur von Termen • Operatoren
Heute: • Terme vergleichen • Struktur von Termen • Operatoren
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.
Termgleichheit: ==<br />
?- a == a.<br />
yes<br />
?- a == b.<br />
no<br />
?- X == Y.<br />
no<br />
?- X == X.<br />
yes<br />
?- X == a.<br />
no<br />
Logik in der Praxis – Logikprogrammierung (Prolog) – p.2
Change language