- scasp_assert(:Clause) is det
- scasp_retract(:Clause) is nondet
- scasp_retractall(:Head) is det
- Wrappers for assertz/1, retract/1 and retractall/1 that deal with
sCASP terms which may have a head or body terms that are wrapped in
-(Term), indicating classical negation. Also deals with global
constraints written in any of these formats:
false :- Constraint.:- Constraint.