Jump to content

Parlog

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by PrimeBOT (talk | contribs) at 15:40, 25 June 2017 (Replace magic links with templates per local RfC - BRFA). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Parlog is a logic programming language designed for efficient utilization of parallel computer architectures. Its semantics is based on first order predicate logic. It expresses concurrency, interprocess communication, indeterminacy and synchronization within the declarative language framework.[1]

It was designed at Imperial College, London by Steve Gregory and Keith L. Clark, as a descendant of IC Prolog and Relational Language.[2][3]

Further reading

  • Tom Conlon, "Programming in Parlog", Addison-Wesley

References

  1. ^ Andrew Cheese, "Parallel execution of Parlog", Springer, 1992, ISBN 3-540-55382-7, 184 pp.
  2. ^ "Programming distributed systems", by H. E. Bal, pp. 91-93
  3. ^ Steve Gregory, "Parallel Logic Programming in Parlog: The Language and Its Implementation", ISBN 0-201-19241-1, Addison-Wesley, 1987
Retrieved from "https://en.wikipedia.org/w/index.php?title=Parlog&oldid=787464215"