Skip to main content
SpringerLink
Log in

Towards logic programming based coordination in virtual worlds

  • Agent-Based Coordination
  • Conference paper
  • First Online:
Coordination Technology for Collaborative Applications (ASIAN 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1364))

Included in the following conference series:

Abstract

We propose a unified framework for coordination in multiuser Virtual Worlds, based on our experience with LogiMOO, a BinProlog+Linda based programmable shared Virtual World. LogiMOO adopts unification for pattern retrieval while using exclusively deterministic operations, unlike most Prolog based Linda systems. Moving beyond the Linda framework LogiMOO is based on, we describe a coordination logic for agent programming based on ideas from (affine) linear logic and Java's synchronized object system as well as a set of new primitives describing uniformly Linda operation, database updates and hypothetical assumptions.

The main novelty is that our constructs emphasize an ‘object based’ approach, with synchronization information built in ‘container objects’ and allowing more flexible wait/notify negotiations between consumer/producer agent components, as well as inheritance and agent component reuse.

Our experiments with agent coding in LogiMOO and Java and interaction with external visual and logic components, show the practicality of our constructs for real life programming.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. K. A. Bharat and L. Cardelli. Migratory applications. In Proceedings of the 8th Annual ACM Symposium on User Interface Software and Technology, Nov. 1995. http://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/srcrr-138.html.

    Google Scholar 

  2. BlackSun. CyberGate. http://www.blacksun.com/.

    Google Scholar 

  3. P. Bonnet, L. Bressnan S., Leth, and B. Thomsen. Towards ECLIPSE Agents on the Internet. In Tarau et al. [22]. http://clement.info.umoncton.ca/lpnet.

    Google Scholar 

  4. A. Brogi and P. Ciancarini. The concurrent language, shared Prolog. TOPLAS, 13(1):99–123, 1991.

    Article  Google Scholar 

  5. D. Cabeza and M. Hermenegildo. html.pl: A HTML Package for (C)L.P systems. Technical report, 1996. Available from http://www.clip.dia.fi.upm.es.

    Google Scholar 

  6. D. Cabeza and M. Hermenegildo. The Pillow/CIAO Library for Internet/WWW Programming using Computational Logic Systems. In Tarau et al. [22]. http://clement.info.umoncton.ca/ lpnet.

    Google Scholar 

  7. N. Carriero and D. Gelernter. Linda in context. CALM, 32(4):444–458, 1989.

    Google Scholar 

  8. K. De Bosschere, D. Perron, and P. Tarau. LogiMOO: Prolog Technology for Virtual Worlds. In Proceedings of PAP'96, pages 51–64, London, Apr. 1996. ISBN 0 9525554 1 7.

    Google Scholar 

  9. K. De Bosschere and P. Tarau. Blackboard-based Extensions in Prolog. Software — Practice and Experience, 26(1):49–69, Jan. 1996.

    Article  Google Scholar 

  10. J.-Y. Girard. Linear logic. Theoretical Computer Science, (50):1–102, 1987.

    Google Scholar 

  11. IBM. Aglets. http://www.trl.ibm.co.jp/aglets.

    Google Scholar 

  12. Intel. Moondo. http://www.intel.com/iaweb/moondo/index.htm.

    Google Scholar 

  13. A. P. Kopylov. Decidability of linear affine logic. In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, pages 496–504, San Diego, California, 26–29 June 1995. IEEE Computer Society Press.

    Google Scholar 

  14. S. W. Locke, A. Davison, and S. L. Lightweight Deductive Databases for the World-Wide Web. In Tarau et al. [22]. http://clement.info.umoncton.ca/ lpnet.

    Google Scholar 

  15. S. W. Loke and A. Davison. Logic programming with the world-wide web. In Proceedings of the 7th ACM Conference on Hypertext, pages 235–245. ACM Press, 1996.

    Google Scholar 

  16. Sony. Cyber Passage. http://vs.sony.co.jp/VS-E/vstop.html.

    Google Scholar 

  17. P. Szeredi, K. Molnár, and R. Scott. Serving Multiple HTML Clients from a Prolog Application. In Tarau et al. [22]. http://clement.info.umoncton.ca/ lpnet.

    Google Scholar 

  18. P. Tarau. Logic Programming and Virtual Worlds. In Proceedings of INAP96, Tokyo, Nov. 1996. keynote address.

    Google Scholar 

  19. P. Tarau. BinProlog 5.40 User Guide. Technical Report 97-1, Département d'Informatique, Université de Moncton, Apr. 1997. Available from http://clement.info.umoncton.ca/BinProlog.

    Google Scholar 

  20. P. Tarau and V. Dahl. Logic Programming and Logic Grammars with First-order Continuations. In Proceedings of LOPSTR'94, Pisa, June 1994.

    Google Scholar 

  21. P. Tarau, V. Dahl, and A. Fall. Backtrackable State with Linear Affine Implication and Assumption Grammars. In J. Jaffar and R. H. Yap, editors, Concurrency and Parallelism, Programming, Networking, and Security, Lecture Notes in Computer Science 1179, pages 53–64, Singapore, Dec. 1996. Springer.

    Google Scholar 

  22. P. Tarau, A. Davison, K. De Bosschere, and M. Hermenegildo, editors. Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP'96, Bonn, Sept. 1996. http://clement.info.umoncton.ca/ lpnet.

    Google Scholar 

  23. P. Tarau and K. De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In Tarau et al. [22]. http://clement.info.umoncton.ca/ lpnet.

    Google Scholar 

  24. Worlds. AlphaWorld. http://www.worlds.net/products/alphaworld.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Département d'Informatique, Université de Moncton, E1A 3E9, Moncton, N.B., Canada

    Paul Tarau

  2. Logic and Functional Programming Group Department of Computing Sciences, Simon Fraser University, V5A 1S6, Burnaby, B.C., Canada

    Veronica Dahl

  3. Vakgroep Elektronica en Informatiesystemen, Universiteit Gent, St.-Pietersnieuwstraat 41, B-9000, Gent, Belgium

    Koen De Bosschere

Authors
  1. Paul Tarau
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Veronica Dahl
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Koen De Bosschere
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wolfram Conen Gustaf Neumann

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tarau, P., Dahl, V., De Bosschere, K. (1998). Towards logic programming based coordination in virtual worlds. In: Conen, W., Neumann, G. (eds) Coordination Technology for Collaborative Applications. ASIAN 1996. Lecture Notes in Computer Science, vol 1364. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027099

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64170-4

  • Online ISBN: 978-3-540-69699-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation