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}

Publication

— authors

Maurizio Cimadamore, Mirko Viroli

— status

published

— sort

paper in proceedings

Venue

— volume

5th international symposium on Principles and practice of programming in Java (PPPJ '07)

— pages

197-202

— publication date

2007

Identifiers

— DOI

10.1145/1294325.1294352

— print ISBN

978-1-59593-672-1

BibTeX

— BibTeX ID
patj-pppj07
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY