|
|
1 |
= {{patj/}} =
|
|
|
2 |
|
|
|
3 |
{{include reference="Punchline" excludeFirstHeading="true"/}}
|
|
|
4 |
|
|
|
5 |
Although object-oriented languages are nowadays the mainstream for 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 intelligence, adaptivity, and conciseness in expressing algorithms. The aim of the {{patj/}} project is to provide a framework for enhancing interoperability between Java and Prolog, based on the {{2p/}} open-source Prolog engine for Java.
|
|
|
6 |
|
|
|
7 |
{{patj/}} achieves smoother language-interoperability through two stacked layers:
|
|
|
8 |
* an API layer for automated mapping of Java types into Prolog types (and viceversa) and seamless exploitation of the Generic Collections Framework;
|
|
|
9 |
* 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.
|
|
|
10 |
|
|
|
11 |
>{{patj/}} Technology
|
|
|
12 |
|
|
|
13 |
* click [[here>>attach:pj.jar]] for downloading the latest version of P@J
|
|
|
14 |
* [[Java Annotation Framework for tuProlog>>JavaAnnotationProlog]]
|
|
|
15 |
|
|
|
16 |
{{include reference="Environment" excludeFirstHeading="true"/}} |