Modifiche per il documento P@J

Dalla versione 15.1
modificato da Andrea Omicini
il 31/12/2021 13:33
Cambia il commento: Nessun commento per questa versione
Alla versione 13.1
modificato da Andrea Omicini
il 31/12/2021 13:20
Cambia il commento: Nessun commento per questa versione

Summary

Details

Page properties
Content
... ... @@ -1,12 +1,13 @@
1 1  = {{italiano}}Home di {{/italiano}}{{patj/}}{{english}} Home{{/english}} =
2 2  
3 -{{include reference="Punchline" excludeFirstHeading="true"/}}
3 +{{velocity}}
4 +(% style='border-color:$theme.borderColor; border-style:hidden solid solid hidden' %)!!(((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 tuProlog open-source Prolog engine for Java.
5 +{{/velocity}}
4 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 tuProlog open-source Prolog engine for Java.
6 6  
7 7  P@J 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.
9 +* an API layer for automated mapping of Java types into Prolog types (and viceversa) and seamless exploitation of the Generic Collections Framework;
10 +* 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 10  
11 11  >P@J Technology
12 12  

Riferimenti

Mirko Viroli

2P