1. Bowen, D. L., Byrd, L. M., and Clocksin, W. F., “A portable Prolog compiler,”Proceedings of the Logic Programming Workshop, Albufeira, Portugal, 1983.
2. Clocksin, W. F., “Implementation techniques for Prolog databases,” Computer Laboratory, University of Cambridge, to appear inSoftware—Practice and Experience, 1984.
3. Clocksin, W. F., and Mellish, C. S.,Programming in Prolog, Springer-Verlag, 1981.
4. UPMAIL Report;K. Kahn,1983
5. Mellish, C. S., and Hardy, S., “Integrating Prolog in the Poplog Environment,”Cognitive Science Research Paper 10, University of Sussex, 1982.