JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming

✍ Scribed by Analı́a Amandi; Marcelo Campo; Alejandro Zunino

• Publisher: Elsevier Science
• Year: 2005
• Tongue: English
• Weight: 279 KB
• Volume: 31
• Category: Article
• ISSN: 1477-8424
• DOI: 10.1016/j.cl.2004.03.001

✦ Synopsis

Intelligent agent development has imposed new challenges on the necessary language support. Object-oriented languages have been proposed as an appropriate tool, although logic-oriented languages are more adequate for managing mental attitudes. Multi-paradigm languages supporting encapsulation of actions, hiding of private knowledge and exible manipulation of knowledge are, certainly, a good alternative for programming agents. However, a unique language to support exible and e cient development of multi-agent systems confronts with the tradeo s imposed by expressive power, e ciency and support technology. An alternative to conciliate these tradeo s is not to think about a single language but an incrementally compatible family of agent-oriented multi-paradigm languages. In this work we present an approach based on object-oriented framework technology for integrating object and logic paradigms in such a way that new language features can be incrementally added to the core language. This core language is based on logic modules integrated as object abstractions in the object paradigm. JavaLog is a materialization of this framework integrating Java and Prolog. This core was extended to provide multi-threading support, mobility and temporal-logic operators to Prolog. MoviLog, the mobile part of the family provides a novel mobility mechanism, reactive mobility by failure, which enables virtual Prolog databases distributed across Web sites.