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

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

Description

Title: Using attributed variables in the implementation of concurrent and parallel logic programming systems
Author/s:
  • Hermenegildo, Manuel V.
  • Cabeza Gras, Daniel
  • Carro Liñares, Manuel
Item Type: Presentation at Congress or Conference (Article)
Event Title: Twelfth International Conference on Logic Programming
Event Dates: June 13-16, 1995
Event Location: Tokyo, Japan
Title of Book: Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming
Date: June 1995
ISBN: 9780262691772
Subjects:
Freetext Keywords: 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.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

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.

More information

Item ID: 14423
DC Identifier: http://oa.upm.es/14423/
OAI Identifier: oai:oa.upm.es:14423
Official URL: http://mitpress.mit.edu/books/logic-programming-0
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 07 Feb 2013 09:58
Last Modified: 21 Apr 2016 14:04
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM