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

Volume

1

fYear

1990

fDate

19-21 Sept. 1990

Firstpage

269

Lastpage

272

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Solid-State Circuits Conference, 1990. ESSCIRC '90. Sixteenth European

Conference_Location

Grenoble

Print_ISBN

2-86332-087-4

Type

conf

Filename

5467793