From eventual to atomic and locally atomic CC programs: A concurrent semantics

We present a concurrent semantics (i.e. a semantics where concurrency is explicitely represented) for CC programs with atomic tells. This allows to derive concurrency, dependency, and nondeterminism information for such languages. The ability to treat failure information puts CLP programs also in the range of applicability of our semantics: although such programs are not concurrent, the concurrency information derived in the semantics may be interpreted as possible parallelism, thus allowing to safely parallelize those computation steps which appear to be concurrent in the net. Dually, the dependency information may also be interpreted as necessary sequentialization, thus possibly exploiting it to schedule CC programs. The fact that the semantical structure contains dependency information suggests a new tell operation, which checks for consistency only the constraints it depends on, achieving a reasonable trade-off between efficiency and atomicity.

El ordenador y el desarrollo de la educación en los países en vías de desarrollo

La educación representa una de las más trascendentales necesidades de nuestro tiempo. En los países en desarrollo, esta necesidad aparece con un doble matiz: cualitativo, en cuanto a la forma y al contenido de la educación, que debe adaptarse a un país en evolución, y cuantitativo, por el aumento de su importancia numérica. La envergadura del problema requiere soluciones de envergadura. ¿Tiene algún papel el ordenador en este planteamiento? El ordenador es una herramienta, la herramienta intelectual más poderosa que ha inventado el hombre. Cuando se padece una necesidad y se tiene una herramienta, es preciso estudiar si ésta puede ayudar de alguna manera a aliviar aquélla. A continuación expongo algunas ideas y reflexiones personales en torno a este problema.