Title :
Prolog at Berkeley
Author :
Despain, Alvin M.
Author_Institution :
Div. of Comput. Sci., California Univ., Berkeley, CA, USA
fDate :
Feb. 29 1988-March 3 1988
Abstract :
An overview is given of the Aquarius project at Berkeley, which is centered on the high-performance execution of logic programs in general and Prolog in particular. Its goal is to determine how a very large improvement in performance can be achieved in a machine specialized to solve difficult problems characterized by symbolic and numerical calculations, both within a search space. The particular problem domain of this type that is of current concern is design automation of single VLSI chip microprocessors. The processors support Prolog execution and the design tools are written in Prolog, as are the high-level specifications of the processors. Thus, high-performance processors are being developed in VLSI to help execute the design automation tools that are being used to help design these same processors.<>
Keywords :
PROLOG; logic programming; Aquarius project; Prolog; design automation; design automation tools; design tools; logic programs; numerical calculations; single VLSI chip microprocessors; symbolic calculations; Logic programming; Prolog;
Conference_Titel :
Compcon Spring '88. Thirty-Third IEEE Computer Society International Conference, Digest of Papers
Conference_Location :
San Francisco, CA, USA
Print_ISBN :
0-8186-0828-5
DOI :
10.1109/CMPCON.1988.4829
