1. and , The Icon Programming Language, Prentice-Hall, 1983.
2. and , Programming in Prolog, Springer-Verlag, Berlin, 1981.
3. A Machine-Oriented Logic Based on the Resolution Principle
4. and , ‘User's guide to DEC System-10 Prolog’, DAI Occasional Paper no. 15, University of Edinburgh, Scotland, 1979.