Skip to main content
Springer Nature Link
Log in

Introduction of dosim predicate to Prolog

  • Regular Papers
  • Published:
New Generation Computing Aims and scope Submit manuscript

Abstract

This paper proposes a predicate nameddosim which provides a new function for parallel execution of logic programs. The parallelism achieved by this predicate is a simultaneous mapping operation such as bagof and setof predicates. However, the degree of parallelism can be easily decided by arranging the arguments of the dosim goal. The parallel processing system with dosim was realized on a tight-coupled multiprocessor machine. To control the degree of parallelism and reduce the amount of memory required for execution, we introduce the grouping method for the goals executed in parallel and some variations of the dosim predicate. The effectiveness of the proposed method is demonstrated by the results of the execution of several applications.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Shapiro, E. Y., “A Subset of Concurrent Prolog and Its Interpreter,”ICOT Tech. Report, 3, 1986.

  2. Clark, K. and Gregory, S., “PARLOG: Parallel Programming in Logic,”ACM TOPLAS, 8-1, pp. 1–49, 1986.

    Article  Google Scholar 

  3. Ueda, K., “Guarded Horn Clauses,”Proc. of Logic Prog. Conf., Tokyo, pp. 225–236, 1985.

  4. Matsuda, H. et al., “Implementing Parallel Prolog System on Multiprocessor System PARK,”Database Machines and Knowledge Base Machines, Kluwer Academic Publishers, pp. 599–612, 1988.

  5. DeGroot, D., “Restricted AND-Parallelism,”Proc. of Int’l Conf. Fifth Gen. Comp. Sys., ICOT, pp. 471–478, 1984.

  6. Butler, R. et al., “Scheduling OR-Parallelism: An Argonne Perspective,”Proc. of 5th Int’l Conf. Logic Prog., pp. 1590–1605, 1988.

  7. Lusk, E. et al., “The Aurora OR-Parallel Prolog System,”Proc. of Int’l Conf. Fifth Gen. Comp. Sys. 3, ICOT, pp. 819–830, 1988.

  8. Clark, K. and Gregory, S., “Notes on Systems Programming in PARLOG,”Proc. of Int’l Conf. Fifth Gen. Comp. Sys., ICOT, pp. 299–306, 1984.

  9. Warren, D. H. D., “An Abstract Prolog Instruction Set,”SRI Tech. Note, 309, 1983.

Download references

Author information

Authors and Affiliations

  1. Department of Systems Engineering, Faculty of Engineering, Kobe University, Rokkodai, 657, Nada, Kobe, Japan

    Yukio Kaneda & Hideo Matsuda

  2. System Software Development Dept., Workstation P. B. U., Fuji Xerox Co., Ltd., Iwatsuki, Saitama, Japan

    Katsuki Akiyoshi

Authors
  1. Yukio Kaneda
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Hideo Matsuda
    View author publications

    You can also search for this author inPubMed Google Scholar

  3. Katsuki Akiyoshi
    View author publications

    You can also search for this author inPubMed Google Scholar

About this article

Cite this article

Kaneda, Y., Matsuda, H. & Akiyoshi, K. Introduction of dosim predicate to Prolog. New Gener Comput 8, 163–181 (1990). https://doi.org/10.1007/BF03037472

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03037472

Keywords