Advertisement

Delta Prolog: A distributed backtracking extension with events

  • Luís Moniz Pereira
  • Luís Monteiro
  • José Cunha
  • Joaquim N. Aparício
Session 1a: Parallel Implementations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 225)

Abstract

We present Delta Prolog, a distributed logic programming language that extends Prolog to include AND-parallelism (in a single processor or across a network of processors), interprocess communication via message passing with two-way pattern matching, interprocess synchronization with simultaneous message passing, and distributed backtracking among a family of processes. The extension is achieved, at the language level, by just two additional types of goals — events and splits. The implementation is written part in Prolog and part in C, with a small number of core primitives, to help portability. It is still experimental and expected to evolve. In this work we present the language's distinguishing features, describe its semantics, exhibit programs and analyse their behaviour, examine the implementation, and mention conclusions, advantages of the approach and the next developments.

Keywords

Logic Programming Operational Semantic Event Goal Interprocess Communication Interrupt Handling 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BRU84]
    Bruynooghe, M.; Pereira L. M., “Deduction revision through intelligent backtracking” in “Implementations of Prolog” (Campbell ed.) Ellis Horwood 1984Google Scholar
  2. [HOARE85]
    Hoare, C.A.R. “Communicating sequential processes” Prentice-Hall, 1985Google Scholar
  3. [JC,JNA84]
    Cunha, J. C.; Aparício, J. N., “Delta Prolog implementation: progress report no.1”, Universidade Nova de Lisboa, December 1984Google Scholar
  4. [JC,JNA85]
    Cunha, J. C.; Aparício, J. N., “Delta Prolog implementation: progress report no.2”, Universidade Nova de Lisboa, July 1985Google Scholar
  5. [LM83]
    Monteiro, L. “A proposal for distributed programming in logic”, in “Implementations of Prolog” (Campbell ed.) Ellis Horwood 1984Google Scholar
  6. [LMP82]
    Pereira M. L.; Porto, A. “Selective Backtracking” in “Logic Programming” (Clark, Tarnlund eds.) Academic Press 1982Google Scholar
  7. [LMP84]
    Pereira, L. M.; Nasr, R. “Delta Prolog: a distributed logic programming language”, in “Proceedings of FCGS”, Tokyo, November 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Luís Moniz Pereira
    • 1
  • Luís Monteiro
    • 1
  • José Cunha
    • 1
  • Joaquim N. Aparício
    • 1
  1. 1.Universidade Nova de LisboaPortugal

Personalised recommendations