isNegated
Whether this Struct is a negation literal, i.e. a unary not(...) or \+(...) term — the two negation predicates recognised throughout this module (see Clause.negatedBodyLiterals).
Whether this Struct is a negation literal, i.e. a unary not(...) or \+(...) term — the two negation predicates recognised throughout this module (see Clause.negatedBodyLiterals).