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

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

Description

Title: On the uses of attributed variables in parallel and concurrent 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: 1994 COMPULOG-NET Workshop Parallelism and Implementation Technologies
Event Dates: September 1994
Event Location: Madrid, Spain
Title of Book: Proceedings of the 1994 COMPULOG-NET Workshop Parallelism and Implementation Technologies
Date: 1994
Subjects:
Freetext Keywords: Logic programming, Attributed variables, Generic implementations, Parallelism, Concurrency, Programación lógica, Variables atribuídas, Inplementaciones genéricas, Paralelismo, Concurrencia.
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 (904kB) | 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 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.

More information

Item ID: 14670
DC Identifier: http://oa.upm.es/14670/
OAI Identifier: oai:oa.upm.es:14670
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 21 Mar 2013 08:00
Last Modified: 21 Apr 2016 14:26
  • 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