Ciao Assertion Reader for SWI-Prolog