- not(:Query)
- sCASP NaF negation. Note that this conflicts with the deprecated
standard Prolog not/1 predicate which is a synonym for \+/1. Make
sure to load sCASP into a module where you want sCASP negation and
use \+/1 for Prolog negation in this model.