Windows 32 Bit, SWI-prolog 8.1.15
I start SWIPL, then File/New… and then I type the following little program:
% :- discontiguous a/0.
Then I try to compile with Ctrl-C Ctrl-B. I get the error
ERROR: format/3: Type error:
text' expected, found ansi(code,’~p’,[a/0])’ (a compound)
I can make the error disappear by uncommenting the first line with the “discontiguous”. In any case, I think the compiler should not raise an error, but a warning that the a/0 are not placed next to each other in the code.
Thank you for your consideration.