Ignore Warning: Clauses are not together in the source-file

[PalumboN]

Can we ignore the Warning: Clauses are not together in the source-file for Prolog solutions?

I have cases where the students must add new clauses for a given predicate or in particulars exercises adding examples in extra code. This warning appears until the exercise is done and it's very annoying and confused.

[iluetich]

Hi @PalumboN, i just found something that may be of your interest! It is a predicate of arity 1 named discontiguous, which pretty much resolves this issue.

It informs Prolog that the predicate given by parameter is not defined alltogether in the source file (or at least that describes in the documentation).

[flbulgarelli]

Hi @PalumboN, i just found something that may be of your interest! It is a predicate of arity 1 named discontiguous, which pretty much resolves this issue.

I like this solution, since It is not trivial to know which predicates are expected to be extended by student and which not. @PalumboN please try this solution and close this issue.