A review of exploitation of AND-parallelism and combined AND/OR-parallelism in logic programs

Zhang, Kang

doi:10.1145/181748.181753

Cited by 4 publications

(3 citation statements)

References 27 publications

(33 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The two-phase abstract analysis can be easily applied to improving other top-down (parallel) execution models (e.g. those introduced in [14]- [18], [22]), if they are forwarding schemes. As an example, we consider the AND/OR Process Model [14] which exploits AND and OR parallelism in logic programs.…”

Section: Examplementioning

confidence: 99%

See 1 more Smart Citation

Improving Execution Models of Logic Programs by Two-phase Abstract Interpretation

Chang¹,

Choe²,

Giacobazzi³

1995

ETRI J

View full text Add to dashboard Cite

This paper improves top‐down execution models of logic programs based on a two‐phase abstract interpretation which consists of a bottom‐up analysis followed by a top‐down one. The two‐phase analysis provides an approximation of all (possibly non‐ground) success patterns of clauses relevant to a query. It is specialized by considering Sato and Tamaki's depth k abstraction as abstract function. By the ability of the analysis to approximate possibly non‐ground success patterns of clauses relevant to a query, it can be statically determined whether some subgoals will fail during execution and some succeeding subgoals do not participate in success patterns of program clauses relevant to a given query. These properties are utilized to improve execution models. This approach can be easily applied to any top‐down (parallel) execution models. As instances, it is shown to be applicable to linear execution model and AND/OR Process Model.

show abstract

Section: Examplementioning

confidence: 99%

“…The new execution model can be easily applied to any top-down (parallel) execution models (e.g. those introduced in [14]- [18], [22]) of logic programs, provided that they are forwarding schemes. As an example, we improve the AND/OR process model for parallel interpretation of logic programs in [14] by using the two principles above.…”

Section: Introductionmentioning

confidence: 99%

Improving Execution Models of Logic Programs by Two-phase Abstract Interpretation

Chang¹,

Choe²,

Giacobazzi³

1995

ETRI J

View full text Add to dashboard Cite

show abstract

“…Este tipo de modelos suele introducir, en general, una pérdida importante de eficiencia respecto a los modelos independientes [Zha94]. Concretamente, se debe utilizar la operación de composición paralela en cada paso (para obtener la solución global, en caso de que las distintas sustituciones generadas sean compatibles) y, además, se puede perder tiempo intentando unificar con reglas que no generen sustituciones compatibles.…”

Section: Observacionesunclassified

Análisis semántico y transformación de programas lógico-funcionales.

Oriola¹,

Francisco²

View full text Add to dashboard Cite

Septiembre de 1996Resumen El problema de la integración de la programación lógica y funcional está considerado como uno de los más importantes en elárea de investigación sobre programación declarativa. Para que los lenguajes declarativos seanútiles y puedan utilizarse en aplicaciones reales, es necesario que el grado de eficiencia de su ejecución se aproxime al de los lenguajes imperativos, tal y como se ha conseguido con el lenguaje Prolog. Para ello, es imprescindible el desarrollo de herramientas potentes para el análisis y transformación de los programas, capaces de optimizar las implementaciones realizadas. En general, es deseable sustituir las aproximaciones ad-hoc por tratamientos más sistemáticos para los problemas de análisis y transformación de programas. Puesto que la semántica de los lenguajes lógico-funcionales ha sido objeto de numerosos estudios y está matemáticamente bien formalizada, surge el interés por el desarrollo de métodos y técnicas formales para la formulación de optimizaciones, basadas en la semántica, que preserven las propiedades computacionales del programa. Esta tesis se centra en el desarrollo de tales técnicas, adoptándose una aproximación formal basada en la semántica (operacional) del lenguaje para desarrollar y analizar, en un contexto unificado, las diferentes optimizaciones.En la primera parte, desarrollamos un marco para el análisis estático de programas lógico-funcionales, basado en la idea de construir aproximaciones correctas de la semántica operacional del programa. Formalizamos un esquema de análisis simple, uniforme y flexible, que permite estudiar distintos tipos de propiedades (relacionadas con el conjunto de respuestas computadas por el programa) de manera correcta y fácilmente implementable. El esquema es independiente de la estrategia de narrowing usada en la formulación del mecanismo operacional del lenguaje, lo que contribuye a dar generalidad al mismo.Las técnicas de evaluación parcial son, de entre la gran variedad de técnicas existentes para la transformación de programas, las que mayor interés han despertado en las dosúltimas décadas. Su utilidad no resideúnicamente en la posibilidad de especializar programas, sino que sus aplicaciones se extienden también a la generación automática de compiladores o a la optimización de código, por citar sólo las más importantes. En la segunda parte de esta tesis mostramos que, en el contexto de los leni guajes lógico-funcionales, la especialización de programas se puede basar directamente en el mecanismo operacional de narrowing que, debido a la propagación bidireccional de parámetros realizada a través del procedimiento de unificación, es capaz de producir optimizaciones apreciables. Esta visión unificada de ejecución y especialización nos permite explotar las contribuciones de ambos campos, funcional y lógico, y desarrollar un esquema simple y potente para mejorar el programa original respecto a su capacidad para computar respuestas. También mostramos que, debido a la componente funcional, son posibles otras optimizacion...

show abstract