Hallo, für folgendes erhalte ich diese Ausgabe:
write(a v b).
a v b
true.
Die Operatoren wurden vorher von mir definiert, aber ich glaub das ist für meine Frage irrelevant.
Ich möchte jetzt diesen Operator bei der Ausgabe ersetzen, z.B.: durch \and. Wie funktioniert das?
Es gibt ja z.B. das:
?- write_term(a v b, [ignore_ops(true)]).
v(a, b)
true.
Das ist zwar nicht das was ich will, aber wie man sieht, gibt es ja soetwas ähnliches wie eine formatierte Ausgabe in Prolog.
Wie bekomme ich nun a \and b hin?
Danke!!!
write(a v b).
a v b
true.
Die Operatoren wurden vorher von mir definiert, aber ich glaub das ist für meine Frage irrelevant.
Ich möchte jetzt diesen Operator bei der Ausgabe ersetzen, z.B.: durch \and. Wie funktioniert das?
Es gibt ja z.B. das:
?- write_term(a v b, [ignore_ops(true)]).
v(a, b)
true.
Das ist zwar nicht das was ich will, aber wie man sieht, gibt es ja soetwas ähnliches wie eine formatierte Ausgabe in Prolog.
Wie bekomme ich nun a \and b hin?
Danke!!!