A partial breadth-first execution model for prolog
Visualitza/Obre
Cita com:
hdl:2117/101360
Tipus de documentText en actes de congrés
Data publicació1994
EditorInstitute of Electrical and Electronics Engineers (IEEE)
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
MEM (Multipath Execution Model) is a novel model for the execution of Prolog programs which combines a depth-first and breadth-first exploration of the search tree. The breadth-first search allows more than one path of the SLD-tree to be explored at the same time. In this way, the computational cost of traversing the whole search tree associated to a program can be decreased because the MEM model reduces the overhead due to the execution of control instructions and also diminishes the number of unifications to be performed. This paper focuses on the description of the MEM model and its sequential implementation. Moreover, the MEM execution model can be implemented in order to exploit a new kind of parallelism, called path parallelism, which allows the parallel execution of unify operations related to simultaneously traversed paths
CitacióTubella, J., González, A. A partial breadth-first execution model for prolog. A: International Conference on Tools with Artificial Intelligence. "Sixth International Conference on Tools with Artificial Intelligence, TAI 94: November6-9, 1994, New Orleans, Louisiana, USA: proceedings". New Orleans, Louisiana: Institute of Electrical and Electronics Engineers (IEEE), 1994, p. 129-137.
ISBN0-8186-6785-0
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
00346504.pdf | 808,7Kb | Visualitza/Obre |