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

https://github.com/dtonhofer/prolog_code/blob/main/unpacked/onepointfour_basics/README_checks.md

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)