The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - March (1992 vol.18)
pp: 225-236
ABSTRACT
<p>Two of the more important concurrent logic programming languages with nonflat guards are GHC and Parlog. They balance the requirements of having clean semantics and providing good control facilities rather differently, and their respective merits are compared and contrasted. Since concurrent logic programming would benefit from both, but neither language is able to express all the programs expressible in the other language, a lingua franca of these languages is defined and justified. A method is given for translating GHC and Parlog to and from it. The method preserves the arities and execution conditions of each clause. It enables a lingua franca implementation to support both languages transparently, and to provide a simple concurrent logic programming language suitable for programming in its own right.</p>
INDEX TERMS
concurrent logic programming languages; nonflat guards; GHC; Parlog; clean semantics; control facilities; lingua franca; execution conditions; language translation; logic programming; parallel languages; parallel programming
CITATION
H. Taylor, "A Lingua Franca for Concurrent Logic Programming", IEEE Transactions on Software Engineering, vol.18, no. 3, pp. 225-236, March 1992, doi:10.1109/32.126771
27 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool