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

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

Maurizio Cimadamore, Mirko Viroli
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 Java. 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.
5th international symposium on Principles and practice of programming in Java (PPPJ '07), pages 197-202, 2007, ACM, New York, NY, USA
@inproceedings{patj-pppj07,
	Address = {New York, NY, USA},
	Author = {Cimadamore, Maurizio and Viroli, Mirko},
	Booktitle = {5th International Symposium on Principles and Practice of Programming in {J}ava (PPPJ '07)},
	Doi = {10.1145/1294325.1294352},
	Isbn = {978-1-59593-672-1},
	Location = {Lisboa, Portugal},
	Pages = {197--202},
	Publisher = {ACM},
	Title = {A {P}rolog-oriented extension of {J}ava programming based on generics and annotations},
	Year = 2007}