Towards a Programming Environment for Large Prolog Programs