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]
Further reading[]
- Tom Conlon, "Programming in Parlog", Addison-Wesley
References[]
Categories:
- Logic programming languages
- Concurrent programming languages
- Academic programming languages
- Dynamically typed programming languages