Some paradigms for visualizing parallel execution of logic programs

Carro Liñares, Manuel and Gómez Henríquez, Luis M. and Hermenegildo, Manuel V. (1993). Some paradigms for visualizing parallel execution of logic programs. In: "ICLP'93 the tenth international conference on logic programming on Logic programming", June 21-24, 1993, Budapest, Hungary. ISBN 9780262731058.

Description

Title: Some paradigms for visualizing parallel execution of logic programs
Author/s:
  • Carro Liñares, Manuel
  • Gómez Henríquez, Luis M.
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: ICLP'93 the tenth international conference on logic programming on Logic programming
Event Dates: June 21-24, 1993
Event Location: Budapest, Hungary
Title of Book: Logic Programming: Proceedings of the tenth international conference on logic programming on Logic programming
Date: 1993
ISBN: 9780262731058
Subjects:
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

This paper addresses the design of visual paradigms for observing the parallel execution of logic programs. First, an intuitive method is proposed for arriving at the design of a paradigm and its implementation as a tool for a given model of parallelism. This method is based on stepwise reñnement starting from the deñnition of basic notions such as events and observables and some precedence relationships among events which hold for the given model of parallelism. The method is then applied to several types of parallel execution models for logic programs (Orparallelism, Determinate Dependent And parallelism, Restricted and-parallelism) for which visualization paradigms are designed. Finally, VisAndOr, a tool which implements all of these paradigms is presented, together with a discussion of its usefulness through examples.

More information

Item ID: 14472
DC Identifier: http://oa.upm.es/14472/
OAI Identifier: oai:oa.upm.es:14472
Official URL: http://mitpress.mit.edu/books/logic-programming-6
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 13 Feb 2013 07:31
Last Modified: 21 Apr 2016 14:10
  • 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