|Did you know ...||Search Documentation:|
|Pack genutils -- prolog/insist.pl|
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.
The following predicates are exported, but not or incorrectly documented.