Title: Integrating Prolog in the Poplog environment