Measurements and tuning of computer architectures for logic programming

• M. De Blasi ^[1] ; A. Gentile ^[1] ; F. Cuteri ^[1] ; G. López ^[1]
  1. [1] Universitá di Bari
• Localización: Mini and Microcomputers and their applications / Emilio Luque Fadón (ed. lit.), 1988, págs. 381-384
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.