Unification Parallelism for Prolog Processing.
Saved in:
| Title: | Unification Parallelism for Prolog Processing. |
|---|---|
| Authors: | Inagawa, Masayuki1, Baba, Takanobu1, Yamazaki, Katsuhiro1, Okuda, Kenzo1, Ishikawa, Ken2 |
| Source: | Systems & Computers in Japan. Jan1988, Vol. 19 Issue 1, p37-46. 10p. |
| Subjects: | Programming languages, Logic programming languages, Computer programming, Algorithms, Computer software |
| Abstract: | The unification is a basic component of Prolog processing. However, its parallel processing has not been well studied because the number of arguments, which corresponds to the degree of the unification parallelism, is small, and a consistency check operation is necessary after a parallel unification operation. On these issues, we have implemented the following ideas: (1) enhancing the degree of parallelism by decomposing a compound term into a functor and the arguments at compile-time; (2) allocating decomposed unification processing to multiple processor units (PUs) at run-time; (3) decreasing the number of consistency checks by the compile- time clustering and reducing the overhead by embedding the consistency check operations into the unification processing; and (4) stop- ping the operations of the other processors if the unification fails. To clarify the effect, we have developed and evaluated a Prolog processor on a multiprocessor system. The results show that statistically: (1) the decomposition of compound terms makes the number of arguments 3.2 on the average even after clustering, and that dynamically, (l) the unification parallelism performs 41 percent speed up, and the effect is evident at a small number of processors; (2) the com- pile-time clustering makes the consistency check unnecessary; (3) the stop operation of processors, running in parallel, attains 0.5 - 6 percent (and 10 percent for some problems) performance improvement; and (4) the processing of clause head occupies 60 – 70 percent of dynamic microsteps and is an important object of parallel processing. [ABSTRACT FROM AUTHOR] |
| Copyright of Systems & Computers in Japan is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
Be the first to leave a comment!
