1. Aït-Kaci, H. and Nasr, R., “LOGIN: A Logic Programming Language with Built-In Inheritance,”J. Logic Programming, 3, 3, pp. 185–215, 1986.
2. Clark, K. L. and Gregory, S., “PARLOG: Parallel Programming in Logic,”ACM Trans. Prog. Lang. Syst., 8, 1, pp. 1–49, 1986.
3. Colmerauer, A., “Prolog and Infinite Trees,” inLogic Programming (K. L. Clark and S.-Å. Tärnlund, eds.), Academic Press, London, pp. 231–251, 1982.
4. Debray, S. A., “Static Inference of Modes and Data Dependencies in Logic Programs,”ACM Trans. Prog. Lang. Syst., 11, 3, pp. 418–450, 1989.
5. Byrd, L., Pereira, F. C. N., Pereira, L. M. and Warren, D. H. D.,DECsystem-10 Prolog User’s Manual (D. L. Bowen, ed.), Department of Artificial Intelligence, University of Edinburgh, 1983.