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.
Keywords
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
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.
BlackSun. CyberGate. http://www.blacksun.com/.
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.
A. Brogi and P. Ciancarini. The concurrent language, shared Prolog. TOPLAS, 13(1):99–123, 1991.
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.
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.
N. Carriero and D. Gelernter. Linda in context. CALM, 32(4):444–458, 1989.
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.
K. De Bosschere and P. Tarau. Blackboard-based Extensions in Prolog. Software — Practice and Experience, 26(1):49–69, Jan. 1996.
J.-Y. Girard. Linear logic. Theoretical Computer Science, (50):1–102, 1987.
IBM. Aglets. http://www.trl.ibm.co.jp/aglets.
Intel. Moondo. http://www.intel.com/iaweb/moondo/index.htm.
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.
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.
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.
Sony. Cyber Passage. http://vs.sony.co.jp/VS-E/vstop.html.
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.
P. Tarau. Logic Programming and Virtual Worlds. In Proceedings of INAP96, Tokyo, Nov. 1996. keynote address.
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.
P. Tarau and V. Dahl. Logic Programming and Logic Grammars with First-order Continuations. In Proceedings of LOPSTR'94, Pisa, June 1994.
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.
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.
P. Tarau and K. De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In Tarau et al. [22]. http://clement.info.umoncton.ca/ lpnet.
Worlds. AlphaWorld. http://www.worlds.net/products/alphaworld.
Author information
Authors and Affiliations
Editor information
Rights 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