1. ‘Prolog on the DEC system-10’, in (ed.) Expert Svstems in the Microelectronic Age, Edinburgh University Press, 1979.
2. Logic programming and compiler writing
3. and , Programming in Prolog, Springer Verlag, 1981.
4. C-Prvlog User's Manual, SRI International, Menlo Park, California, 1984.
5. A Machine-Oriented Logic Based on the Resolution Principle