Modifiche per il documento P@J
Dalla versione 15.1
modificato da Andrea Omicini
il 31/12/2021 13:33
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
il 31/12/2021 13:20
Cambia il commento:
Nessun commento per questa versione
Summary
-
Page properties (1 modified, 0 added, 0 removed)
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