---+ Cioa Prolog compatibility library
