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 \an…