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

详细信息    查看全文

• 作者：Amandi ; Analí ; a ; Campo ; Marcelo ; Zunino ; Alejandro
• 关键词：Multi-paradigm languages ; Logic programming ; Object-oriented programming ; Agent-oriented programming ; Object-oriented frameworks ; Intelligent agents
• 刊名：Computer Languages, Systems & Structures
• 出版年：2005
• 出版时间：April, 2005
• 年：2005
• 卷：31
• 期：1
• 页码：17-33
• 全文大小：279 K

文摘

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 flexible manipulation of knowledge are, certainly, a good alternative for programming agents. However, a unique language to support flexible and efficient development of multi-agent systems confronts with the tradeoffs imposed by expressive power, efficiency and support technology. An alternative to conciliate these tradeoffs 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.