Expected warning for non-initialized relation in body

[Laschoking]

I would expect a warning, if a relation like "nonInitRelation" neither is imported nor appears in the head of any rule.
relation(?a) :- nonInitRelation(?a).

[matzemathics]

@mmarx, I don't think this must necessarily be solved by the parser, because such "global" properties usually will make the parser much more complicated. I think this might should be solved on the same level as type analysis, though I guess there is no rigid architecture in place yet for such checks.

[mmarx]

Yeah, probably needs a better tag. Any suggestions?

[matzemathics]

Yeah, probably needs a better tag. Any suggestions?

something like "Analysis" / "Program Analysis" ?

[monsterkrampe]

We need some general functionality to feedback such warnings to the user e.g. via the language server.
Once #455 lands, this will be much easier.