must(:Goal) is nondet

Goal must succeed at least once once

Wrap must/1 over parts of your code you do not trust If your code fails.. it will rewind to your entry block (at the scope of this declaration) and invoke rtrace/1 . If there are 50 steps to your code, it will save you from pushing creep 50 times. Instead it turns off the leash to allow you to trace with your eyeballs instead of your fingers.

% must( :Goal) is semidet.

Must Be Successfull.

 sanity(:Goal) is det

Optional Sanity Checking.

like assertion/1 but adds trace control

 must_once(:Goal) is det

Goal must succeed at most once

 must_det(:Goal) is det

Goal must succeed determistically

 nop(:Goal) is det

Comments out code without losing syntax

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 scce_orig(Arg1, Arg2, Arg3)

 must_or_rtrace(Arg1)