Negation primitive goal

[itsabdelrahman]

The library supports primitive goals such as and, or & eq. But does it support the not primitive goal?

[mcsoto]

Supporting not adequately is an open problem (the not in Prolog is impure). neq/diff could be added at some point with constraints.