How would you implement negation-by-failure (\\+) in WAM? Or (->;)soft-cut. We assume cut is implemented.
\\+
For example, once is described by swi-pl as,
