On the parallel implementation of the higher order logic language lambda Prolog

Francesca Arcelli Fontana, Ferrante Formato, Giulio Iannello. On the parallel implementation of the higher order logic language lambda Prolog. In María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 2. pages 253-267, 1994.

Abstract

Abstract is missing.