Parlog86 and the dining logicians
Graem A. Ringwood · Communications of the ACM · 1988
A classic problem in concurrent programming is that of the "dining philosophers" which challenges the power of any aspiring concurrent program language. Recently, a growing number of logic programming languages have been refined to handle concurrent programming, one in particular is Parlog86.