A Prolog-oriented extension of Java programming based on generics and annotations

Maurizio Cimadamore, Mirko Viroli
2007 Proceedings of the 5th international symposium on Principles and practice of programming in Java - PPPJ '07  
Although object-oriented languages are nowadays the mainstream of application development, several research contexts suggest that a multi-paradigm approach is worth pursuing. In particular, a declarative, logic-based paradigm could fruitfully add functionalities related to automatic reasoning, adaptivity, and conciseness in expressing algorithms. In this paper we present P@J, a framework for enhancing interoperability between Java and Prolog based on the tuProlog open-source Prolog engine for
more » ... va. P@J supports smooth language-interoperability by first introducing an API for modeling first-order logic terms by Java generics and wildcards, promoting expressiveness and safety. On top of it, an annotation layer is then introduced that extends Java with the ability of implementing parts of the application code using Prolog.
doi:10.1145/1294325.1294352 dblp:conf/pppj/CimadamoreV07 fatcat:lwkxxnq6f5elhmazhaq4j3qm3a