Run-Time Checking of Assertions for Ciao and SWI-Prolog