Uwe Schreiweis A. Keune Horst Langendörfer An Integrated Prolog Programming Environment. 53-60 1993 28 SIGPLAN Notices 2 db/journals/sigplan/sigplan28.html#SchreiweisKL93