Measurements and tuning of computer architectures for logic programming
Mario De Blasi, Anna Lisa Gentile, F. Cuteri, Gus Lopez · Dialnet (Universidad de la Rioja) · 1988
A methodology for the tuning of microprogrammable parallel architectures for logic programming is presented. It is applied to a unification coprocessor for Prolog, that uses low- level parallelism, in order to optimize the coprocessor and to obtain a form of high-level parallelism.