On the uses of attributed variables in parallel and concurrent logic programming systems

Hermenegildo, Manuel V.; Cabeza Gras, Daniel y Carro Liñares, Manuel (1994). On the uses of attributed variables in parallel and concurrent logic programming systems. En: "1994 COMPULOG-NET Workshop Parallelism and Implementation Technologies", September 1994, Madrid, Spain.

Descripción

Título: On the uses of attributed variables in parallel and concurrent logic programming systems
Autor/es:
  • Hermenegildo, Manuel V.
  • Cabeza Gras, Daniel
  • Carro Liñares, Manuel
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 1994 COMPULOG-NET Workshop Parallelism and Implementation Technologies
Fechas del Evento: September 1994
Lugar del Evento: Madrid, Spain
Título del Libro: Proceedings of the 1994 COMPULOG-NET Workshop Parallelism and Implementation Technologies
Fecha: 1994
Materias:
Palabras Clave Informales: Logic programming, Attributed variables, Generic implementations, Parallelism, Concurrency, Programación lógica, Variables atribuídas, Inplementaciones genéricas, Paralelismo, Concurrencia.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (904kB) | Vista Previa

Resumen

Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to it. This approach is very attractive in that by adding a few primitives any logic programming system can be turned into a generic constraint logic programming system in which constraint solving can be user defined, and at source level - an extreme example of the "glass box" approach. In this paper we propose a different and novel use for the concept of attributed variables: developing a generic parallel/concurrent (constraint) logic programming system, using the same "glass box" flavor. We argüe that a system which implements attributed variables and a few additional primitives can be easily customized at source level to implement many of the languages and execution models of parallelism and concurrency currently proposed, in both shared memory and distributed systems. We illustrate this through examples.

Más información

ID de Registro: 14670
Identificador DC: http://oa.upm.es/14670/
Identificador OAI: oai:oa.upm.es:14670
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 21 Mar 2013 08:00
Ultima Modificación: 21 Abr 2016 14:26
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM