Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Parlog

< >

Parlog is a programming language created in 1983 by Steve Gregory and Keith L. Clark.

#1809on PLDB 41Years Old
Wikipedia

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.It was designed at Imperial College, London by Steve Gregory and Keith L. Read more on Wikipedia...


Example from the web:
mode qsort(list?,sorted_list^). qsort([N|Rest],Sorted) <- partition(N,Rest,LessN,MoreN), qsort(LessN,SortedLess), qsort(MoreN,SortedMore), append(SortedLess,[N|SortedMore],Sorted). qsort([],[]).
View source
- Build the next great programming language Add About Search Keywords Livestreams Labs Resources Acknowledgements Part of the World Wide Scroll