Integrating Prolog in the POPLOG Environment