Code in the module hooks into the toplevel error printer (error_message//1) in order to properly printing the non-ISO error term

error(check(_,_,_,_),_)

thrown from "check" predicates.

The homepage for this module is at

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