now using the prolog standalone library