This module provides what are usually called assertions in other languages, but of course the word 'assert' is already taken in Prolog. insist/1 and insist/2 can be used to wrap any goal that is not allowed to fail.

Undocumented predicates

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

 insist(Arg1)

 insist(Arg1, Arg2)

 insist(Arg1, Arg2, Arg3)