linked to the Prolog environment.