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.

 wellformed_conds_or_throw(Arg1, Arg2)

 atomoform_checks(Arg1)

 exists_cond_or_throw(Arg1)