Windows 32 Bit, SWI-prolog 8.1.15
Dear programmers,
I start SWIPL, then File/New… and then I type the following little program:
% :- discontiguous a/0.
a.
b.
a.
Then I try to compile with Ctrl-C Ctrl-B. I get the error
ERROR: c:/users/matthias/documents/prolog/123.pl:5:
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.
Best wishes,
Matthias