1. Apt, K. R. and van Emden, M. H. [1982] Contributions to the Theory of Logic Programming. J. ACM, Vol. 29, No. 3 (1982), pp. 841–862.
2. Bowen, D. L. (ed.), Byrd, L., Pereira, F. C. N., Pereira, L. M. and Warren, D. H. D. [1983] DECsystem-10 Prolog User's Manual. Dept. of Artificial Intelligence, Univ. of Edinburgh.
3. Clark, K. L. and Gregory, S. [1981] A Relational Language for Parallel Programming. In Proc. 1981 Conf. on Functional Programming Languages and Computer Architecture, ACM, pp. 171–178.
4. Clark, K. L. McCabe, F. and Gregory, S. [1982] IC-Prolog language features. In Logic Programming, Clark, K. L. and Tarnlund, S. A. (ed.), Academic Press, pp. 253–266.
5. Clark, K. L. and Gregory, S. [1984a] PARLOG: Parallel Programming in Logic. Research Report DOC 84/4, Dept. of Computing, Imperial College of Science and Technology, London.