Abstract
Intelligence and interaction are two key -issues in the engineering of todaycomp lex systems, like Internet-based ones. To make logic languages accomplish their vocation of sound enabling technologies for intelligent components, we first need their implementations to strictly meet some engineering properties such as deployability, configurability, and scalability. Then, we should provide them with a wide range of interaction capabilities, according to standards and common practices. This would make logic-based systems also viable tools to build deployable, configurable, dynamic, and possibly intelligent infrastructures.
In this paper, we present tuProlog, a light-weight Java-based system allowing configurable and scalable Prolog components to be built and integrated into standard Internet applications according to a multiplicityof different interaction patterns, like JavaBeans, RMI, CORBA, and TCP/IP. Even more, tuProlog offers basic coordination capabilities in terms of logic tuple spaces, which allow complex Internet-based architectures to be designed and governed. This makes it possible to use tuProlog as the core enabling technologyf or Internet infrastructures - as in the case of the TuCSoN and LuCe infrastructures for the coordination of Internet-based multi-agent systems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
P. Ciancarini, A. Omicini, and F. Zambonelli. Coordination technologies for Internet agents. Nordic Journal of Computing, 6(3):215–240, Fall 1999.
CKI Prolog. http://www.students.cs.uu.nl/people/smotterl/prolog/.
E. Denti, A._Natali, and A. Omicini. On the expressive power of a language for programming coordination media. In Proceedings ACM 1998 Symposium on Applied Computing (SAC’98), pages 169–177, Atlanta (GA), 1998. ACM. Track on Coordination Models, Languages and Applications.
E. Denti and A. Omicini. Engineering multi-agent systems in LuCe. In Proceedings ICLP’99 International Workshop on Multi-Agent Systems in Logic Programming (MAS’99), Las Cruces (NM), 1999.
E. Denti, A. Omicini, and V. Toschi. The Lu⊂e coordination technology for MAS design and development on the Internet. In A. Porto and G.-C. Roman, editors, Coordination Languages and Models (COORDINATION 2000), volume 1906 of LNCS, pages 305–310. Springer-Verlag, 2000.
E. W. Dijkstra. Co-operating sequential processes. In Programming Languages. Academic Press, London, 1965.
D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80–112, Jan. 1985.
Jinni. http://www.binnetcorp.com/Jinni/.
MINERVA. http://www.ifcomputer.com/MINERVA/.
A. Omicini and E. Denti. From tuple spaces to tuple centres. Science of Computer Programming, 2001.
A. Omicini and F. Zambonelli. Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems, 2(3):251–269, Sept. 1999. Special Issue on Coordination Mechanisms and Patterns for Web Agents.
D. Rossi, G. Cabri, and E. Denti. Tuple-based technologies for coordination. In A. Omicini, F. Zambonelli, M. Klusch, and R. Tolksdorf, editors, Coordination of Internet Agents: Models, Technologies and Applications, chapter 4, pages 83–109. Springer-Verlag, Jan. 2001.
R. Tolksdorf. Languages for the Java Virtual Machine. http://grunge.cs.tu-berlin.de/∼tolk/vmlanguages.html.
J. Waldo. The Jini architecture for network-centric computing. Communications of the ACM, 42(7):76–82, July1999.
M. Weiser. Hot topic: Ubiquitous computing. IEEE Computer, 26(10):71–72, Oct. 1993.
W-Prolog. http://www.cs.mu.oz.au/~winikoff/wp/.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Denti, E., Omicini, A., Ricci, A. (2001). tuProlog: A Light-Weight Prolog for Internet Applications and Infrastructures. In: Ramakrishnan, I.V. (eds) Practical Aspects of Declarative Languages. PADL 2001. Lecture Notes in Computer Science, vol 1990. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45241-9_13
Download citation
DOI: https://doi.org/10.1007/3-540-45241-9_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41768-2
Online ISBN: 978-3-540-45241-6
eBook Packages: Springer Book Archive