The Architecture and Design of a Malleable Object-Oriented Prolog Engine

Last modified by Andrea Omicini on 2020/10/12 17:21

Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci

The implementation of Prolog systems has a long history, from the first interpreter written in 1972 to de facto standard model of the Warren Abstract Machine. Although many architectural variations have been proposed, object-oriented design was left mostly unexplored, favoring other factors such as execution time and memory storage optimizations. However, today complex software systems are typically built as aggregates of heterogeneous components, where logic programming may effectively help facing key issues such as intelligence of components and management of interaction. In this scenario, implementation of logic languages could just aim at reasonable – rather than maximum – efficiency, requiring instead configurable and flexible architectures to allow for extensions and tailoring for different application domains. tuProlog is an object-oriented Prolog engine which has been designed to feature a malleable architecture at its core, and to exhibit the typical properties of basic components for complex dynamic systems and intelligent infrastructures—such as easy deployability, lightness, and configurability. In this paper, we first describe tuProlog's malleable architecture, composed by a set of managers controlling sensible parts of the system, and operating around a minimal interpreter shaped as a Finite State Machine. Then, we support the malleability claim by discussing two possible architectural extension of the engine.

Keywords: Prolog, Finite State Machine, object-oriented design
23rd ACM Symposium on Applied Computing (SAC 2008), pages 191-197, 16-20 March 2008.
Roger L. Wainwright, Hisham M. Haddad, Ronaldo Menezes, Mirko Viroli (eds.), ACM, Fortaleza, Ceará, Brazil
Special Track on Programming Languages
	Address = {Fortaleza, Cear{\'a}, Brazil},
	Author = {Piancastelli, Giulio and Benini, Alex and Omicini, Andrea and Ricci, Alessandro},
	Booktitle = {23rd ACM Symposium on Applied Computing (SAC 2008)},
	Doi = {10.1145/1363686.1363739},
	Editor = {Wainwright, Roger L. and Haddad, Hisham M. and Menezes, Ronaldo and Viroli, Mirko},
	Isbn = {978-1-59593-753-7},
	Keyword = {finite state machine, object-oriented design, prolog},
	Month = {16--20}}},
	Publisher = {ACM},
	ScopusId = {2-s2.0-56749164340},
	Title = {The Architecture and Design of a Malleable Object-Oriented {P}rolog Engine},
	Url = {},
	Volume = 1,
	WosId = {000268392200038},
	Year = 2008}



2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna