Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Full or-parallemism and restricted And-parallelism in BTM

  • 22 Accesses

  • 1 Citations

Abstract

BTM is a new And/Or parallel execution model for logic programs which exploits both full Or-parallelism and restricted And-parallelism. The advantages of high parallelism and low run time cost make BTJ, an experimental execution system of BTM implemented on a nonshared-memory multiprocessor system, achieve significant speedup for both And-parallel and Or-parallel logic programs.

This is a preview of subscription content, log in to check access.

References

  1. [1]

    DeGroot D. Restricted And-parallelism. Proc of Int'l Conf on Fifth Generation Computer System, 1984, pp. 471–478.

  2. [2]

    DeGroot D. Restricted And-parallel execution of logic programs. In: Kowalik J S ed. Parallel Computation and Computer for AI, Kluwer Academic Publishers, 1988, pp. 91–107.

  3. [3]

    DeGroot D. Restricted And-parallelism and side effects. Proc of the Fourth Symp on Logic Programming, San Francisco CA, 1987, pp. 80–89.

  4. [4]

    Yow-Jian Lin, Kumar V. Performance of And-parallel execution of logic programs on a shared-memory multi-processor. Proc Int'l Conf on Fifth Generation Computer Systems 1988, ICOT, pp, 851–859.

  5. [5]

    DeGroot D. A technique for compiling execution graph expressions for restricted And-parallelism in logic programs.Journal of Parallel and Distributed Computing, 1988, 5: 494–516.

  6. [6]

    Li P P, Martin A J. The Sync model: A parallel execution method for logic programming. 1986 Symp on Logic Programming.

  7. [7]

    Ng K W, Leung H F. The competition model for parallel execution of logic programs. Proc Fifth Int'l Conf and Symp on Logic Programming, 1988.

  8. [8]

    Kale L V. The REDUCE-Or process model for parallel evaluation of logic programs. Proc Fourth Int'l Conf on Logic Programming, 1987.

  9. [9]

    Kale L V, Ramkumer B, Shu W. A memory organization independent binding environment for And-parallel execution of logic programs. Proc. Fifth Int'l Conf and Symp on Logic Programming, 1988.

  10. [10]

    Biswas P, Su S-C, Yun D Y Y. A Scalable abstract machine model to support limited-Or(LOR)/restricted-And parallelism (RAP) in logic programs. Proc Fifth Int'l Conf and Symp on Logic Programming, 1988.

  11. [11]

    Biswas P, Tseng C C. A data-driven parallel execution model for logic programs. Proc Fifth Int'l Conf and Symp on Logic Programming, 1988.

  12. [12]

    Westphal H, Robert P, Chassin J, Syre J. The PEPSys model: Combining backtracking, And-and Or-parallelism. Proc IEEE 4th Symp on Logic Programming, San Fransisco, 1987.

  13. [13]

    Warren D H D. The SRI-model for Or-parallel execution of Prolog-abstract design and implementation. Proc IEEE 4th Symp on Logic Programming, San Fransisco, 1987.

  14. [14]

    Lusk Eet al. The Aurora Or-parallel Prolog system.New Generation Computing, 1990, 7.

Download references

Author information

Correspondence to Yuhua Zheng.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Zheng, Y., Xie, L. & Sun, Z. Full or-parallemism and restricted And-parallelism in BTM. J. of Comput. Sci. & Technol. 9, 373–381 (1994). https://doi.org/10.1007/BF02943584

Download citation

Keywords

  • Full Or-parallelism
  • restricted And-parallelism
  • multi-transputer system
  • nonshared-memory
  • extra-predicates