Did you know ... Search Documentation:
Pack genutils -- prolog/insist.pl
PublicShow source

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, Arg2)
 insist(Arg1, Arg2, Arg3)