REFERENCES
- KL Clarke, FG McCabe & S Gregory, IC-Prolog language features, in Logic Programming, APIC studies in dataprocessing nr. 16, (Ed. KL Clark and SA Tarnlund), Academic Press, London, England, 1982.
- L Naish, Negation and control in Prolog, Technical Report 85/12, University of Melbourne, Australia, 1985.
- EY Shapiro, A subset of concurrent Prolog and its interpreter; Technical Report TR-003, ICOT-Institute for New Generation Computer Technology, Tokyo, Japan, Jan 1983.
- KL Clark & S Gregory, PARLOG: Parallel programming in logic, Research Report 84/4, Department of Computing, Imperial College of Science and Technology, London, England, 1984.
- K Ueda, Guarded horn clauses, Technical Report TR-103, ICOT-Institute for New Generation Computer Technology, Tokyo, Japan, 1985.
- EY Shapiro & L Sterling, The Art of Prolog Advanced Programming Techniques, in MIT press-series in logic programming, Cambridge, Mass, 1986.
- H Nishihawa, M Yokota, A Yamamoto, K Tahi & S Uchida, The personal sequential inference machine (PSI): Its design philosophy and machine architecture, ICOT, Technical Report TR-013, 1983
- Minoru Yokota, Akira Yamamoto, Kau zo Taki, Hiroshi Nishkawa & Shunichi Uchida, The design and implementation of a personal sequential inference machine: PSI, New Generation Computing, vol 1, pp 125–144, 1983.
- R Nakazaki et al, Design of a high-speed prolog machine (HPM), Proc 12th Int Symp on Comp Architecture, pp 191–197, June 1985.
- TP Dobry, AM Despain & YN Patt, Performance studies of a prolog machine architecture, Proc 12th Int Symp on Comp Architecture, IEEE/ACM, pp 180–190, June 1985.
- E Tick & DHD Warren, Towards a pipelined prolog processor, Proc Int Symp logic programming, IEEE, Atlantic City, pp 29–40, Feb 1984.
- S Abe, T Bandoh, S Yamaguchi, K Kurosawa & K Kiriyama, High performance integrated prolog processor IPP, Computer Architecture News, vol 15, June 1987.
- Jacques Noyé, Jean-Claude Syre;, et al ICM3: Design and evaluation of an inference crunching machine, Proc 5th Int Workshop on Database Machines, Oct 1987.
- T Chikayama, M Yokota & T Hattori, Fifth generation kernel language, Proc Logic Programming Conf '83, Japan 1983.
- David HD Warren, An Abstract Prolog Instruction Set, SRI International, Technical Note 309, Oct 1983.
- LO Hertzberger, The architecture of fifth generation inference computers; FGCS, vol 1, July 1984.
- Barry S Fagin & Alvin M Despain, Performance studies of a parallel prolog architecture, Computer Architecture Conf, 1987.
- M Nahashima, K Mahajame, Hardware architecture of the sequential inference machine PSI II, Proc 4th Symp Logic Programming, Aug 1987
- RP Gabriel, Performance and evaluation of lisp systems, MIT Press Series in Computer Science.