nemo icon indicating copy to clipboard operation
nemo copied to clipboard

Published 20 hours ago • verified publisher icon knowsys

Expected warning for non-initialized relation in body

Open Laschoking opened this issue 1 year ago • 4 comments

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).

Laschoking avatar Sep 13 '23 11:09 Laschoking