Relational Language(ID:974/rel002)

Parallel logic language, Clark & Gregory, Imperial College 1980

First parallel logic language to use the concept of committed choice. Forerunner of PARLOG

Structures:
Related languages
IC-Prolog => Relational Language   Evolution of
Relational Language => Parlog   Evolution of
References:
  • Keith L. Clark and Steve Gregory "A relational language for parallel programming" pp171-178 view details Abstract: A parallel program often defines a relation not a function. The program constrains the output to lie in some relation R to the input, but the particular output produced during a computation can depend on the time behaviour of component processes. This suggests the use of a relational language as an applicative language for parallel programming. The Horn clause subset of predicate logic is a relational language with an established procedural interpretation for non-deterministic sequential computations [Kowalski 1974]. In this paper we modify and extend that interpretation to define a special purpose parallel evaluator. External link: Online copy
          in Proceedings of the 1981 conference on Functional programming languages and computer architecture 1981 , Portsmouth, New Hampshire, United States view details