I am using SWI Prolog 7.4.2 and I am getting warnings from SWI prolog about clauses not being together even though I have declared discontiguous at the top of the file, when the file is included
so if test1.pro contains
:- discontiguous(p/0).
p :- q.
q.
p.
and I consult this file I get no complaints, but when I have test2.pro
:- include("test1.pro").
and load test2.pro then I get complaints about the clauses of p not being together