Variable-free Execution of Concurrent Logic Languages
Author | : Sven-Olof Nyström |
Publisher | : |
Total Pages | : 30 |
Release | : 1990 |
ISBN-10 | : OCLC:185986785 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
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)."