isWellFormed

Checks whether this Clause is well-formed.

A Clause is well-formed if and only if:

• its head is neither a Numeric nor a Var (when non-null);

• its body is not a Numeric, nor does it contain one as a direct argument of a , /2, ;/2, or ->/2 structure (see notableFunctors).