Using attributed variables in the implementation of concurrent and parallel logic programming systems

Hermenegildo, Manuel V.; Cabeza Gras, Daniel y Carro Liñares, Manuel (1995). Using attributed variables in the implementation of concurrent and parallel logic programming systems. En: "Twelfth International Conference on Logic Programming", June 13-16, 1995, Tokyo, Japan. ISBN 9780262691772.

Descripción

Título: Using attributed variables in the implementation of concurrent and parallel 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: Twelfth International Conference on Logic Programming
Fechas del Evento: June 13-16, 1995
Lugar del Evento: Tokyo, Japan
Título del Libro: Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming
Fecha: Junio 1995
ISBN: 9780262691772
Materias:
Palabras Clave Informales: Implementation techniques, Concurrency parallelism, Logic programming, Attributed variables, Generic implementations, Técnicas de ejecución, Programación lógica, Variables atribuídas, Implementaciones genéricas.
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 (1MB) | 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 deñned, 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 and report on an implementation of our ideas.

Más información

ID de Registro: 14423
Identificador DC: http://oa.upm.es/14423/
Identificador OAI: oai:oa.upm.es:14423
URL Oficial: http://mitpress.mit.edu/books/logic-programming-0
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 07 Feb 2013 09:58
Ultima Modificación: 21 Abr 2016 14:04
  • 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