Parlog
Jump to navigation
Jump to search
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
[edit | edit source]- Tom Conlon, "Programming in Parlog", Addison-Wesley
References
[edit | edit source]- ^ Andrew Cheese, "Parallel execution of Parlog", Springer, 1992, Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)., 184 pp.
- ^ "Programming distributed systems", by H. E. Bal, pp. 91-93
- ^ Steve Gregory, "Parallel Logic Programming in Parlog: The Language and Its Implementation", Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)., Addison-Wesley, 1987
Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).
