YAP_(Prolog) loading ...