Write TAP tests with SWI-Prolog