Variable-free Execution of Concurrent Logic Languages

Download or read book Variable-free Execution of Concurrent Logic Languages written by Sven-Olof Nyström and published by . This book was released on 1990 with total page 30 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "This paper questions the role of the logical variable and suggests an alternative way to achieve its functionality. A simple language with an operational semantics close to that of most concurrent logic languages, is presented. The language uses a variable-free notation, inspired by Backus's FP, which makes it much easier to give the operational semantics; it is not necessary to worry about complications such as the renaming of variables and substitutions. The notation of fairness is also addressed, and a definition of AND-fairness of finite and infinite computations is given. The relation between the language and FGHC is examined (there are some differences, for example in the view of infinite structures)."