Prolog: Formatierte Ausgabe von Operatoren

Diese Seite verwendet Cookies. Durch die Nutzung unserer Seite erklären Sie sich damit einverstanden, dass wir Cookies setzen. Weitere Informationen

  • Prolog: Formatierte Ausgabe von Operatoren

    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!!!