Heute: • Terme vergleichen • Struktur von Termen • Operatoren
Heute: • Terme vergleichen • Struktur von Termen • Operatoren
Heute: • Terme vergleichen • Struktur von Termen • Operatoren
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Termungleichheit: \==<br />
?- a \== a.<br />
no<br />
?- a \== b.<br />
yes<br />
?- X \== Y.<br />
yes<br />
?- X \== X.<br />
no<br />
?- X \== a.<br />
yes<br />
Logik in der Praxis – Logikprogrammierung (Prolog) – p.3