Definition of a novel execution model for Prolog programs, called Multipath, that combines a depth and a breadth traversal of the search tree related to programs. The main idea consists of the possibility to traverse simultaneously more than one path of the search tree, which reduces the number of control and data instructions that would be executed in the standard execution model of Prolog. This execution model is well suited for non-deterministic programs.
Multipath can be implemented on several architectural models: from sequential environments (SISD) to parallel architectures (MIMD, SPMD) exploiting data parallelism.
Jordi Tubella and Antonio González. Exploiting Path Parallelism in Logic Programming. In Euromicro Workshop on Parallel and Distributed Processing , pp. 164-173, San Remo (Italy), January 1995.
Jordi Tubella and Antonio González. A Partial Breadth-First Execution Model for Prolog. In 6th IEEE International Conference on Tools with Artificial Intelligence TAI'94 , pp. 129-137, New Orleans (USA), November 1994.
Antonio González and Jordi Tubella. The Multipath Parallel Execution Model for Prolog. In 1st International Conference on Parallel Symbolic Computation PASCO'94 , pp. 164-173, Linz (Austria), September 1994.
Jordi Tubella and Antonio González. Combining Depth-First and Breadth-First Search in Prolog Execution. In Joint Conference on Declarative Programming GULP-PRODE'94 , pp. 452-453, Peñíscola (Spain), September 1994.
Jordi Tubella and Antonio González. MEM: A New Execution Model for Prolog. Microprocessing and Microprogramming , vol. 39, no. 2-5, pp. 83-86, November 1993.
Jordi Tubella and Antonio González. Measuring Scheduling Policies in Pure Or-Parallel Program. In 2nd Conference on Declarative Programming PRODE'93 , pp. 57-71, Blanes (Spain), September 1993.
Antonio González, Jordi Tubella, and Carles Aliagas. An Evaluation Tool for the EDS Parallel Logic Programming System. In European Workshop on Parallel Computing EWPC'92 , pp. 566-569, Sitges (Spain), March 1992.
Jordi Tubella and Antonio González. Design and Evaluation of a Two-Level Hierarchical Multiprocessor for Logic Programming. In Proceedings of the IASTED International Symposium on Applied Informatics , pp. 45-48, Innsbruck (Austria), February 1992.
