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

Multiple robot programming using a concurrent logic language

  • 49 Accesses

  • 2 Citations


Advances in robotics has led to the cooperation of multiple robots among themselves and with their industrial automation environment. Efficient interaction with industrial robots thus becomes one of the key factors in the successful utilization of this modern equipment. When multiple manipulators have to be coordinated, there is a need for a new programming approach that facilitates and encompasses the needs of concurrency, synchronization, timing, and communication. Most robot languages have been developed with little attention being given to the integration of the robot with its environment. Currently, there is a gap between the robot capabilities, the task definition environment, and language facilities supplied to use robots.

This paper analyzes the needs and then establishes that a concurrent logic programming approach is a step towards achieving a multi-robot knowledgeable task programming. In particular, the FCP dialect of concurrent Prolog is demonstrated, and analyzed.

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


  1. 1.

    Maimon, O., A generic multi-robot control experimental system,J. Robotic Systems 3, 451–466 (1986).

  2. 2.

    Maimon, O., The robot route planning problem, Technical Report, Faculty of Engineering, Tel-Aviv University, 1988.

  3. 3.

    Steusloff, H.U., Advanced real time languages for distributed industrial process control,IEEE Computer, Feb. 1984, pp. 37–46.

  4. 4.

    Bonner, S. and Shin, K.G., A comparative study of robot languages,IEEE Computer, Dec. 1982, pp. 82–96.

  5. 5.

    Shin, K.G. and Epstein, M.E., Intertask communications in an integrated multirobot system,IEEE J. Robotics Automation Ra- 3, 90–100 (1987).

  6. 6.

    Nof, S.Y., Maimon, O. and Wilhelm, R.G., Experiments for planning error recovery programs in robotic work,Proc. ASME Interna. Conf. Computers in Engineering, New York, N.Y., August 1987.

  7. 7.

    Gini, M. and Gini, G., Error diagnosis and repair in sensorial robots,Proc. Internat. Conf. Advanced Robotics, Tokyo, Japan, Vol. 2, 1983, pp. 27–32.

  8. 8.

    Kowalski, R.,Logic for Problem Solving, Elsevier-North Holland, Amsterdam, 1979.

  9. 9.

    Takeuchi, A. and Kouchi, F., Parallel logic programming languages, inLecture Notes in Computer Science 225, Springer-Verlag, also Proc. Third Internat. Conf. Logic Programming (Shapiro, E., ed.), 1986, pp. 242–254.

  10. 10.

    Clark, K.L. and Gregory, S., A relational language for parallel programming,Proc. Conf. Functional Programming Languages and Computer Architecture, ACM, 1981, pp. 171–178.

  11. 11.

    Shapiro, E., Concurrent Prolog: A progress report,IEEE Computer, August, 1986.

  12. 12.

    Clark, K.L. and Gregory, S., PARLOG programming in logic,ACM Trans. Programming Languages and Systems 8, 1–49 (1986).

  13. 13.

    Ueda, K., Guarded Horn clauses, Doctoral Thesis, Faculty of Engineering, University of Tokyo, 1986.

  14. 14.

    Hirata, M., Self description of Oc and its application,Proc. Second Conf. Japan Soc. Software Science Technol., 1985, pp. 153–156 (in Japanese).

  15. 15.

    Mierowsky, C., Design and implementation of flat concurrent Prolog, Technical Report CS84–21, Weizmann Institute, Israel, 1984.

  16. 16.

    Shapiro, E. and Takeuchi, A., Object oriented programming in concurrent Prolog,J. New Generation Computing 1, 25–48 (1983).

  17. 17.

    Naylor, A.W. and Volz, R.A., Design and integrated manufacturing system control software,IEEE Trans. Systems, Man Cybernet SMC- 17, 881–897 (1987).

  18. 18.

    Sheu, P.C. and Kashyap, R.L., Programming robot systems with knowledge,Robotics and Computer Integrated Manufacturing 4, 359–367 (1988).

Download references

Author information

Additional information

This research is partially supported by the Paul Ivanier Center for research in robots and production management.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Ben-Arieh, D., Maimon, O. Multiple robot programming using a concurrent logic language. J Intell Robot Syst 4, 25–41 (1991). https://doi.org/10.1007/BF00452100

Download citation

Key words

  • Multi-robot system
  • programming languages
  • concurrent programming
  • logic programming
  • concurrent Prolog