Modifiche per il documento P@J

Summary

• Page properties (1 modified, 0 added, 0 removed)

Details

Page properties

Content

...	...	@@ -1,9 +1,9 @@
1	1	{{velocity}}
2		-(% 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.
	2	+(% 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.
3	3	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.
4		-(% style='border-color:$theme.borderColor; border-style:hidden solid solid hidden' %)!!P@J achieves smoother language-interoperability through two stacked layers:
5		-(% style='border-color:$theme.borderColor; border-style:hidden solid solid hidden' %)!!* an API layer for automated mapping of Java types into Prolog types (and viceversa) and seamless exploitation of the Generic Collections Framework;
6		-(% style='border-color:$theme.borderColor; border-style:hidden solid solid hidden' %)!!* 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.
	4	+P@J achieves smoother language-interoperability through two stacked layers:
	5	+* an API layer for automated mapping of Java types into Prolog types (and viceversa) and seamless exploitation of the Generic Collections Framework;
	6	+* 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.)))
7	7
8	8	>P@J Technology
9	9