YAP-Prolog loading ...