Proxima: Prolog Execution Machine
A. Iurlaro, Guido Masera, A. Pagni, G. Piccinini, Massimo Ruo Roch · 1992
The paper describes the basic design methodology and the technological aspects involved in the i n - tegration of an high performance Prolog machine on Silicon. Currently available Prolog machines are implemented by using a large number of boards. Consequently they become expensive, cumbersome and not yet achievable by industrial standards. The described processor, PROXIMA,is a VLSI Prolog engine suitable t o be added on a commerc a1 workstation. The project has been carried out as a cooperative effort of SGS-THOMSON Microe ectronics and the Politecnico di Torino