Title :
PROXIMA: an integrated Prolog machine
Author :
Civera, P.L. ; Masera, G. ; Ortelli, S. ; Piccinelli, P. ; Piccinini, G.L. ; Poluzzi, R. ; Roch, M. Ruo ; Zamboni, M.
Author_Institution :
Dipt. di Elettron., Politec. di Torino, Torino, Italy
Abstract :
The paper describes the basic design methodology and the technological aspects involved in the integration of a high performance Prolog machine on silicon. The need of an efficient Prolog engine arises from the A.I. applications requiring great symbolic computation power. Currently available Prolog machines are implemented using a large number of boards. As a consequence they are expensive, cumbersome and have not yet achieved industrial standards. The described processor, PROXIMA, is a VLSI Prolog engine prototype suited to be added on a commercial workstation. The project has been carried out as a cooperative effort of SGS-Thomson Microelectronics and the Politecnico di Torino.
Keywords :
PROLOG; VLSI; circuit analysis computing; integrated circuit design; PROXIMA; Politecnico di Torino; Prolog machine; SGS-Thomson Microelectronics; VLSI Prolog engine prototype; basic design methodology; symbolic computation power; technological aspects; Computational modeling; Computer architecture; Constraint optimization; Design methodology; Design optimization; Engines; Natural languages; Silicon compiler; Testing; Very large scale integration;
Conference_Titel :
Solid-State Circuits Conference, 1990. ESSCIRC '90. Sixteenth European
Conference_Location :
Grenoble
Print_ISBN :
2-86332-087-4
