&-prolog and its performance: exploiting independent and-parallelism
Hermenegildo, Manuel V.
Greene, K. J.
Informática
An Independent And-Parallel Prolog model and implementation, &-Prolog, are described. The description includes a summary of the system's architecture, some details of its execution model (based on the RAP-WAM model), and most importantly, its performance on sequential workstations and shared memory multiprocessors as compared with state-of-the-art Prolog systems. Speedup curves are provided for a collection of benchmark programs which demónstrate significant speed advantages over state-of the art sequential systems.
Facultad de Informática (UPM)
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
1990-06
info:eu-repo/semantics/conferenceObject
Ponencia en Congreso o Jornada
Logic Programming, Proceedings of the Seventh International Conference | Seventh International Conference on Logic Programming | June 18-20, 1990 | Jerusalem, Israel
PeerReviewed
application/pdf
eng
http://oa.upm.es/14497/1/HERME_ARC_1990-4.pdf
info:eu-repo/semantics/openAccess
http://oa.upm.es/14497/