APICe » Publications » tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures

tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures

Enrico Denti, Andrea Omicini, Alessandro Ricci
Intelligence and interaction are two key-issues in the engineering of today complex 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 multiplicity of 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 technology for Internet infrastructures – as in the case of the TuCSoN and LuCe infrastructures for the coordination of Internet-based multi-agent systems.
Practical Aspects of Declarative Languages, Lecture Notes in Computer Science 1990, pages 184-198, 2001.
I.V. Ramakrishnan (eds.), Springer Berlin Heidelberg
3rd International Symposium (PADL 2001), Las Vegas, NV, USA, 11-12 March 2001. Proceedings 
@incollection{tuprolog-padl01,
	Author = {Denti, Enrico and Omicini, Andrea and Ricci, Alessandro},
	Booktitle = {Practical Aspects of Declarative Languages},
	Doi = {10.1007/3-540-45241-9_13},
	Editor = {Ramakrishnan, I.V.},
	Isbn = {978-3-540-41768-2},
	Isbn-10 = {3-540-41768-0},
	Issn = {0302-9743},
	Issn-Online = {1611-3349},
	Note = {3rd International Symposium (PADL 2001), Las Vegas, NV, USA, 11--12~} # mar # {~2001. Proceedings},
	Pages = {184--198},
	Publisher = {Springer Berlin Heidelberg},
	Series = {Lecture Notes in Computer Science},
	Title = {{{\sf tu}Prolog}: A Light-weight {P}rolog for {I}nternet Applications and Infrastructures},
	Url = {http://link.springer.com/10.1007/3-540-45241-9_13},
	Volume = 1990,
	Year = 2001}