Parlog

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 and .^[2]^[3]

References[]

^ Andrew Cheese, "Parallel execution of Parlog", Springer, 1992, ISBN 3-540-55382-7, 184 pp.
^ "Programming distributed systems", by H. E. Bal, pp. 91-93
^ Steve Gregory, "Parallel Logic Programming in Parlog: The Language and Its Implementation", ISBN 0-201-19241-1, Addison-Wesley, 1987

[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

[1]

[2]

[3]

hide Authority control
National libraries	United States
Other	Microsoft Academic

Parlog

Further reading[]

References[]