Java2Prolog Minim API v1