Changes for page P@J

From version 2.1
edited by Andrea Omicini
on 10/08/2021 15:37
Change comment: Document converted from syntax xwiki/1.0 to syntax xwiki/2.1
To version 1.1
edited by Mirko Viroli
on 08/10/2020 00:28
Change comment: Imported from XAR

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.AndreaOmicini
1 +XWiki.MirkoViroli
Syntax
... ... @@ -1,1 +1,1 @@
1 -XWiki 2.1
1 +XWiki 1.0
Content
... ... @@ -1,12 +1,19 @@
1 -(% style="font-size:18px; " %) P@J (or PatJ)
1 +{style:type=span|font-size=18px}P@J (or PatJ){style}
2 2  
3 3  Although object-oriented languages are nowadays the mainstream for application development, several research contexts suggest that a multi-paradigm approach is worth pursuing.
4 4  
5 5  In particular, a declarative, logic-based paradigm could fruitfully add functionalities related to intelligence, adaptivity, and conciseness in expressing algorithms. The aim of the P@J project is to provide a framework for enhancing interoperability between Java and Prolog, based on the tuProlog open-source Prolog engine for Java. P@J achieves smoother language-interoperability through two stacked layers:
6 6  
7 -* an API layer for automated mapping of Java types into Prolog types (and viceversa) and seamless exploitation of the Generic Collections Framework;
8 -* an annotation layer, that aims at truly extending Java programming with the ability of specifying Prolog-based declarative implementations of Java methods, relying on Java annotations.
9 9  
10 -Click [[here>>http://apice.unibo.it/xwiki/bin/download/PatJ/WebHome/pj.jar]] for downloading the latest version of P@J!
11 11  
12 -Check the articles describing the features of P@J [[here>>http://apice.unibo.it/xwiki/bin/view/Publications/Search?text=P%40J]]
9 + * an API layer for automated mapping of Java types into Prolog types (and viceversa) and seamless exploitation of the Generic Collections Framework;
10 +
11 + * an annotation layer, that aims at truly extending Java programming with the ability of specifying Prolog-based declarative implementations of Java methods, relying on Java annotations.
12 +
13 +
14 +
15 +Click [here | http://apice.unibo.it/xwiki/bin/download/PatJ/WebHome/pj.jar] for downloading the latest version of P@J!
16 +
17 +Check the articles describing the features of P@J [here | http://apice.unibo.it/xwiki/bin/view/Publications/Search?text=P%40J]
18 +
19 +

Contacts

Mirko Viroli

2P