PROGRAMACION CONCURRENTE CON RESTRICCIONES EN MOZART.

• Autores: Julio Hernando Vargas
• Localización: Scientia et Technica, ISSN 0122-1701, Vol. 1, Nº. 24, 2004, págs. 279-284
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    En este artículo daremos una breve introducción a la programación concurrente con restricciones en Mozart. La tarea central (considerada un arte) al hacer programación con restricciones es encontrar un buen modelo para describir el problema y diseñar propagadores y estrategias de distribución que minimicen la complejidad del árbol de búsqueda. Con unos pocos ejemplos (combinatorios y de planificación) mostramos como usar algunas de las herramientas básicas (pero poderosas) que se tienen en el sistema Mozart.

  • English

    In this article we will give a brief introduction to the concurrent constraint programming whit Mozart. The central task (considered as an art) in doing a constraint program is to find a good model to describe the problem and device propagators and distribution strategy that minimize the complexity of the search tree. Whit a few examples (combinational and of scheduling) we illustrate how to use some of the most basic (but powerful) tools that we have in the Mozart system.