Did you know ... Search Documentation:
Pack onepointfour_basics -- prolog/checks.pl
PublicShow source

check_that/3 and friends: a replacement for the must_be/2 predicate of Prolog. must_be/2 is used to check preconditions on predicate entry, but is not very flexible. Can we improve on that?

The homepage for this module is at


Undocumented predicates

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

 check_that(Arg1, Arg2)
 check_that(Arg1, Arg2, Arg3)
 check_that(Arg1, Arg2, Arg3, Arg4)
 check_that(Arg1, Arg2, Arg3, Arg4, Arg5)
 check_that(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
 check_that(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7)