Changes for page 2P-Kt / tuProlog
From version 19.1
edited by Andrea Omicini
on 12/11/2021 22:58
on 12/11/2021 22:58
Change comment:
There is no comment for this version
To version 17.1
edited by Andrea Omicini
on 11/11/2021 17:00
on 11/11/2021 17:00
Change comment:
Upload new image "2p-kt-logo.svg", version 1.1
Summary
-
Page properties (2 modified, 0 added, 0 removed)
Details
- Page properties
-
- Title
-
... ... @@ -1,0 +1,1 @@ 1 +tuProlog / 2P-Kt Home - Content
-
... ... @@ -1,6 +2,5 @@ 1 -= {{stringIta}}Home {{/stringIta}}{{2pkt/}} / {{tuprolog/}}{{stringEng}} Home{{/stringEng}} = 2 2 {{velocity}}((( 3 -(% style="b order-color:$theme.borderColor; border-style:hiddensolid solid hidden" %)!!{{italiano}}**{{tuprolog/}}** ({{2p/}} in breve) è un //framework per la programmazione logica// che supporta la //programmazione multi-paradigma// attraverso una integrazione senza soluzione di continuità, ortogonale e bidirezionale tra il paradigma logico e quello orientato agli oggetti2 +(% style="background-color:$theme.fieldGradientColor; border-style:hidden" %)!!{{italiano}}**{{tuprolog/}}** ({{2p/}} in breve) è un //framework per la programmazione logica// che supporta la //programmazione multi-paradigma// attraverso una integrazione senza soluzione di continuità, ortogonale e bidirezionale tra il paradigma logico e quello orientato agli oggetti 4 4 **{{2pkt/}}** ({{tuprolog/}} in Kotlin) è un reboot del progetto {{tuprolog/}} basato su [[Kotlin>>https://kotlinlang.org||target=_blank]] volto a fornire un //ecosistema generale, estensibile e interoperabile// per la programmazione logica e l'intelligenza artificiale simbolica{{/italiano}}## 5 5 {{english}}**{{tuprolog/}}** ({{2p/}} for short) is a //logic programming framework// supporting //multi-paradigm programming// via a seamless, orthogonal, and bidirectional integration between the logic and object-oriented paradigms 6 6 **{{2pkt/}}** ({{tuprolog/}} in Kotlin) is a reboot of the {{tuprolog/}} project based on [[Kotlin>>https://kotlinlang.org||target=_blank]] aimed at providing for a //general, extensible, and interoperable ecosystem// for logic programming and artificial intelligence{{/english}}