Efficient management of backtracking in and-parallelism

Hermenegildo, Manuel V. y Nasr, Roger I. (1986). Efficient management of backtracking in and-parallelism. En: "Third International Conference on Logic Programming", July 14-18, 1986, Imperial College of Science and Technology, London, United Kingdom. ISBN 9783540164920.

Descripción

Título: Efficient management of backtracking in and-parallelism
Autor/es:
  • Hermenegildo, Manuel V.
  • Nasr, Roger I.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Third International Conference on Logic Programming
Fechas del Evento: July 14-18, 1986
Lugar del Evento: Imperial College of Science and Technology, London, United Kingdom
Título del Libro: Third international conference on logic programming
Fecha: Julio 1986
ISBN: 9783540164920
Volumen: 225
Materias:
Palabras Clave Informales: Logic programming, Parallel processing, Intelligent backtracking, and-parallelism, Prolog, Programación lógica, Procesamiento paralelo, Backtracking inteligente.
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 (840kB) | Vista Previa

Resumen

A backtracking algorithm for AND-Parallelism and its implementation at the Abstract Machine level are presented: first, a class of AND-Parallelism models based on goal independence is defined, and a generalized version of Restricted AND-Parallelism (RAP) introduced as characteristic of this class. A simple and efficient backtracking algorithm for R A P is then discussed. An implementation scheme is presented for this algorithm which offers minimum overhead, while retaining the performance and storage economy of sequent ial implementations and taking advantage of goal independence to avoid unnecessary backtracking ("restricted intelligent backtracking"). Finally, the implementation of backtracking in sequential and AND-Parallcl systems is explained through a number of examples.

Más información

ID de Registro: 14534
Identificador DC: http://oa.upm.es/14534/
Identificador OAI: oai:oa.upm.es:14534
URL Oficial: http://link.springer.com/chapter/10.1007%2F3-540-16492-8_63?LI=true
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 22 Feb 2013 07:35
Ultima Modificación: 21 Abr 2016 14:15
  • 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