The SWI-Prolog Unit Testing library