isNonRecursive

Whether this Theory's callGraph is acyclic, i.e. no predicate directly or transitively calls itself, whether through positive or negated literals. Datalog evaluation typically tolerates recursion (that is indeed one of its selling points over plain non-recursive query languages), but this module enforces a stricter, recursion-free reading — see isDatalog.