JPC: A library for categorising and applying inter-language conversions between Java and Prolog

详细信息    查看全文

• 作者：Sergio Castro^a ; Kim Mens^a ; ^{kim.mens@uclouvain.be} ; Paulo Moura^b
• 关键词：Object-oriented programming ; Logic programming ; Multi-paradigm programming ; Java&ndash ; Prolog language interoperability ; Programming languages
• 刊名：Science of Computer Programming
• 出版年：2017
• 出版时间：1 February 2017
• 年：2017
• 卷：134
• 期：Complete
• 页码：75-99
• 全文大小：1282 K
• 卷排序：134

文摘

The number of approaches existing to enable a smooth interaction between Java and Prolog programs testifies the growing interest in solutions that combine the strengths of both languages. Most of these approaches provide limited support to allow programmers to customise how Prolog artefacts should be reified in the Java world, or how to reason about Java objects on the Prolog side. This is an error-prone task since often a considerable amount of mappings must be developed and organised. Furthermore, appropriate mappings may depend on the particular context in which a conversion is accomplished. Although some libraries alleviate this problem by providing higher-level abstractions to deal with the complexity of custom conversions between artefacts of the two languages, such libraries are difficult to implement and evolve, because of a lack of appropriate underlying building blocks for encapsulating, categorising and applying Java–Prolog conversion routines. We therefore introduce a new library, JPC, serving as a development tool for both programmers willing to categorise context-dependent conversion constructs in their Java–Prolog systems, and for architects implementing frameworks providing higher-level abstractions for better interoperability between these two languages.