---+ Ciao Prolog compatibility library
