Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
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.
Title: | Using attributed variables in the implementation of concurrent and parallel logic programming systems |
---|---|
Author/s: |
|
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 |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
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.
Item ID: | 14423 |
---|---|
DC Identifier: | https://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: | 27 Feb 2023 12:14 |