Hi everyone,
I have a question concerning operators in SWI Prolog: I know that one can redefine the predefined
operators, but can one also "undefine" them?
Concretely, I would like to use the name "<" as a common predicate name "<(A,B)" that is not
pretty-printed as "A<B".
Using write_canonical/1 or using write_term/2 with the ignore_ops option does not really help
because then also lists are written verbosely which is not what I want.
Any ideas?
Tobias
_______________________________________________
SWI-Prolog mailing list
SWI-Prolog@...
https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
