Changes for page 2P-Kt / tuProlog
From version 8.1
edited by Andrea Omicini
on 04/11/2021 16:49
on 04/11/2021 16:49
Change comment:
There is no comment for this version
To version 20.1
edited by Andrea Omicini
on 12/11/2021 23:06
on 12/11/2021 23:06
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
-
Attachments (0 modified, 2 added, 0 removed)
Details
- Page properties
-
- Title
-
... ... @@ -1,1 +1,0 @@ 1 -tuProlog / 2P-Kt Home - Content
-
... ... @@ -1,14 +1,10 @@ 1 -{{velocity}} 2 -{{italian}}## 3 ->**{{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 ->**{{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{{/italian}}## 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 ->**{{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}} 1 += {{stringIta}}Home {{/stringIta}}{{2pkt/}} / {{tuprolog/}}{{stringEng}} Home{{/stringEng}} = 7 7 8 - =={{tuprolog/}}/ {{2pkt/}} {{english}}Tidbits{{/english}}{{italian}} in pillole{{/italian}}==3 +{{include reference="Environment"/}} 9 9 10 -{{tuprolog/}} {{english}}is{{/english}}{{italian}} è{{/italian}}5 +>{{tuprolog/}} / {{2pkt/}} {{english}}Tidbits{{/english}}{{italian}} in pillole {{/italian}} 11 11 7 +{{tuprolog/}} {{english}}is{{/english}}{{italian}}è{{/italian}} 12 12 * {{english}} a //light-weight// Prolog system for desktop, web, or mobile applications {{/english}}{{italian}} un sistema Prolog //leggero// per applicazioni desktop, web, o mobili {{/italian}} 13 13 * {{english}} designed around a //minimal//, //layered// core, to be //configured// via //libraries// either statically or dynamically {{/english}}{{italian}} progettato intorno a un core //minimale//, //configurabile// via //librerie// sia staticamente sia dinamicamente {{/italian}} 14 14 * {{english}} an //object-oriented library// of reusable //logic programming software//, which can be exploited by most mainstream programming frameworks and platforms {{/english}}{{italian}} una //libreria a oggetti// di //programmi logici// che possono essere usati dalla maggior parte dei framework e delle piattaforme mainstream {{/italian}} ... ... @@ -18,7 +18,7 @@ 18 18 * {{english}} the current //implementation of {{tuprolog/}} in Kotlin// targetting JVM, JS (both server- and browser-side), and Android platforms {{/english}}{{italian}} l'//implementazione corrente di {{tuprolog/}} in Kotlin// con target JVM, JS (sia server- sia browser-side), e Android {{/italian}} 19 19 * {{english}} ultimately aimed at providing //intelligent systems engineers// with a //general-purpose, extensible, open ecosystem// for symbolic AI {{/english}}{{italian}} volto a fornire agli ingegneri dei sistemi intelligenti un //ecosistema general-purpose, estensibile e aperto// per la IA simbolica {{/italian}} 20 20 21 - =={{english}}{{tuprolog/}} / {{2pkt/}} Tech & Docs{{/english}}{{italian}} Tecnologia e documentazione {{tuprolog/}}{{/italian}}==17 +>{{english}}{{tuprolog/}} / {{2pkt/}} Tech & Docs{{/english}}{{italian}} Tecnologia e documentazione {{tuprolog/}}{{/italian}} 22 22 23 23 * {{2pkt/}}{{english}} and related packages are //released// under the Apache 2.0 License via {{/english}}{{italian}} e relativi package sono //rilasciati// sotto licenza Apache 2.0 via {{/italian}}[[GitHub>>https://github.com/tuProlog/2p-kt/releases||rel="_blank"]], [[Maven Central Repository>>https://search.maven.org/search?q=g:it.unibo.tuprolog||rel="_blank"]], [[Bintray>>https://bintray.com/pika-lab/tuprolog||rel="_blank"]], [[NPM>>https://www.npmjs.com/org/tuprolog||rel="_blank"]] 24 24 * {{english}} {{2pkt/}} //source code// is freely available at {{/english}}{{italian}} il codice sorgente {{2pkt/}} è disponibile liberamente via {{/italian}}[[GitHub>>https://github.com/tuProlog/2p-kt||rel="_blank"]], [[GitLab>>https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin||rel="_blank"]] ... ... @@ -26,6 +26,4 @@ 26 26 * {{2pkt/}}{{english}} provides a {{/english}}{{italian}} mette a disposizione il {{/italian}}[[Prolog playground>>https://pika-lab.gitlab.io/tuprolog/2p-kt-web||rel="_blank"]]{{english}} as a web-based application for playing with {{tuprolog/}} from a web browser{{/english}}{{italian}} sotto forma di una applicazione web per esercitarsi con {{tuprolog/}} da un browser web{{/italian}}. 27 27 28 28 {{warning}}{{english}}If you meet any issue with {{2pkt/}} please //open an issue// on the {{/english}}{{italian}} Per segnalare qualsivoglia problema relativo a {{2pkt/}}, si prega di aprire una //issue// sulla pagina {{/italian}}[[GitLab Issues>>https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin/-/issues||rel="_blank"]]{{english}} page{{/english}}.{{/warning}} 29 -{{/velocity}} 30 - 31 31 {{include reference="Environment"/}}
- 2p-kt-logo.png
-
- Author
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.AndreaOmicini - Size
-
... ... @@ -1,0 +1,1 @@ 1 +22.6 KB - Content
- 2p-kt-logo.svg
-
- Author
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.AndreaOmicini - Size
-
... ... @@ -1,0 +1,1 @@ 1 +6.5 KB - Content
-
... ... @@ -1,0 +1,203 @@ 1 +<?xml version="1.0" encoding="UTF-8" standalone="no"?> 2 +<svg 3 + xmlns:dc="http://purl.org/dc/elements/1.1/" 4 + xmlns:cc="http://creativecommons.org/ns#" 5 + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" 6 + xmlns:svg="http://www.w3.org/2000/svg" 7 + xmlns="http://www.w3.org/2000/svg" 8 + xmlns:xlink="http://www.w3.org/1999/xlink" 9 + id="svg8" 10 + version="1.1" 11 + viewBox="0 0 111.71432 91.134521" 12 + height="91.134521mm" 13 + width="111.71432mm"> 14 + <defs 15 + id="defs2"> 16 + <linearGradient 17 + id="linearGradient1015"> 18 + <stop 19 + style="stop-color:#2a7fff;stop-opacity:1" 20 + offset="0" 21 + id="stop1011" /> 22 + <stop 23 + style="stop-color:#776ec7;stop-opacity:1" 24 + offset="1" 25 + id="stop1013" /> 26 + </linearGradient> 27 + <linearGradient 28 + id="linearGradient965-1"> 29 + <stop 30 + id="stop961" 31 + offset="0" 32 + style="stop-color:#cd52ba;stop-opacity:1" /> 33 + <stop 34 + id="stop963" 35 + offset="1" 36 + style="stop-color:#ea8a02;stop-opacity:1" /> 37 + </linearGradient> 38 + <linearGradient 39 + id="linearGradient957"> 40 + <stop 41 + id="stop953" 42 + offset="0" 43 + style="stop-color:#0066ff;stop-opacity:1" /> 44 + <stop 45 + id="stop955" 46 + offset="1" 47 + style="stop-color:#776ec7;stop-opacity:1" /> 48 + </linearGradient> 49 + <clipPath 50 + clipPathUnits="userSpaceOnUse" 51 + id="clipPath831"> 52 + <path 53 + d="M 8.871e-6,0 H 595.32001 V 841.92 H 8.871e-6 Z" 54 + id="path829" 55 + style="clip-rule:evenodd" /> 56 + </clipPath> 57 + <clipPath 58 + clipPathUnits="userSpaceOnUse" 59 + id="clipPath843"> 60 + <path 61 + d="M 8.871e-6,0 H 595.32001 V 841.92 H 8.871e-6 Z" 62 + id="path841" 63 + style="clip-rule:evenodd" /> 64 + </clipPath> 65 + <clipPath 66 + clipPathUnits="userSpaceOnUse" 67 + id="clipPath855"> 68 + <path 69 + d="M 8.871e-6,0 H 595.32001 V 841.92 H 8.871e-6 Z" 70 + id="path853" 71 + style="clip-rule:evenodd" /> 72 + </clipPath> 73 + <linearGradient 74 + gradientUnits="userSpaceOnUse" 75 + y2="123.67571" 76 + x2="-246.95705" 77 + y1="141.98367" 78 + x1="-299.07458" 79 + id="linearGradient940" 80 + xlink:href="#linearGradient1015" /> 81 + <linearGradient 82 + gradientUnits="userSpaceOnUse" 83 + y2="177.39688" 84 + x2="-299.07458" 85 + y1="159.48982" 86 + x1="-246.95705" 87 + id="linearGradient959" 88 + xlink:href="#linearGradient1015" /> 89 + <linearGradient 90 + gradientUnits="userSpaceOnUse" 91 + y2="536.63123" 92 + x2="-933.38092" 93 + y1="584.93909" 94 + x1="-1130.3607" 95 + id="linearGradient967" 96 + xlink:href="#linearGradient965-1" /> 97 + <linearGradient 98 + gradientTransform="translate(-3.2125952e-6,-28.823639)" 99 + gradientUnits="userSpaceOnUse" 100 + y2="135.015" 101 + x2="-223.57095" 102 + y1="159.48982" 103 + x1="-241.34438" 104 + id="linearGradient980" 105 + xlink:href="#linearGradient1015" /> 106 + <linearGradient 107 + gradientTransform="translate(-3.2125952e-6,-28.823639)" 108 + gradientUnits="userSpaceOnUse" 109 + y2="159.48982" 110 + x2="-215.55287" 111 + y1="141.98367" 112 + x1="-198.35495" 113 + id="linearGradient988" 114 + xlink:href="#linearGradient957" /> 115 + <linearGradient 116 + gradientTransform="translate(-3.2125952e-6,-28.823639)" 117 + gradientUnits="userSpaceOnUse" 118 + y2="141.98367" 119 + x2="-223.57095" 120 + y1="123.67571" 121 + x1="-189.36046" 122 + id="linearGradient996" 123 + xlink:href="#linearGradient965-1" /> 124 + <linearGradient 125 + gradientTransform="translate(-3.2125952e-6,-28.823639)" 126 + gradientUnits="userSpaceOnUse" 127 + y2="159.48982" 128 + x2="-215.55287" 129 + y1="177.39688" 130 + x1="-241.34438" 131 + id="linearGradient1004" 132 + xlink:href="#linearGradient965-1" /> 133 + </defs> 134 + <metadata 135 + id="metadata5"> 136 + <rdf:RDF> 137 + <cc:Work 138 + rdf:about=""> 139 + <dc:format>image/svg+xml</dc:format> 140 + <dc:type 141 + rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> 142 + <dc:title></dc:title> 143 + </cc:Work> 144 + </rdf:RDF> 145 + </metadata> 146 + <g 147 + transform="translate(300.07477,-87.262344)" 148 + id="layer1"> 149 + <g 150 + transform="translate(-1.2717353e-5,1.513548e-6)" 151 + id="g208"> 152 + <rect 153 + style="fill:url(#linearGradient940);fill-opacity:1;stroke:none;stroke-width:0.5;stroke-linecap:round;stroke-miterlimit:7.75;stroke-dasharray:none;stroke-dashoffset:0" 154 + id="rect907" 155 + width="52.11755" 156 + height="18.307961" 157 + x="-299.07458" 158 + y="123.67571" /> 159 + <rect 160 + style="fill:url(#linearGradient959);fill-opacity:1;stroke:none;stroke-width:0.5;stroke-linecap:round;stroke-miterlimit:7.75;stroke-dasharray:none;stroke-dashoffset:0" 161 + id="rect909" 162 + width="52.11755" 163 + height="17.907061" 164 + x="-299.07458" 165 + y="159.48981" /> 166 + <path 167 + style="fill:url(#linearGradient967);fill-opacity:1;stroke:none;stroke-width:1.88976383;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:7.75;stroke-dasharray:none;stroke-opacity:1" 168 + d="m -1062.6797,536.63086 -67.6816,24.90625 v 41.25977 h 67.6816 11.1113 l 118.18754,-66.16602 z" 169 + transform="scale(0.26458333)" 170 + id="path919" /> 171 + </g> 172 + <g 173 + transform="translate(-7.9415711e-6,-6.5897981)" 174 + id="g201"> 175 + <rect 176 + style="fill:url(#linearGradient1004);fill-opacity:1;stroke:none;stroke-width:0.5;stroke-linecap:round;stroke-miterlimit:7.75;stroke-dasharray:none;stroke-dashoffset:0" 177 + id="rect925" 178 + width="25.79151" 179 + height="17.907061" 180 + x="-241.34438" 181 + y="130.6664" /> 182 + <rect 183 + style="fill:url(#linearGradient980);fill-opacity:1;stroke:none;stroke-width:0.5;stroke-linecap:round;stroke-miterlimit:7.75;stroke-dasharray:none;stroke-dashoffset:0" 184 + id="rect927" 185 + width="17.77343" 186 + height="35.81411" 187 + x="-241.34438" 188 + y="94.852142" /> 189 + <rect 190 + style="fill:url(#linearGradient996);fill-opacity:1;stroke:none;stroke-width:0.5;stroke-linecap:round;stroke-miterlimit:7.75;stroke-dasharray:none;stroke-dashoffset:0" 191 + id="rect929" 192 + width="34.210491" 193 + height="18.307959" 194 + x="-223.57094" 195 + y="94.852142" /> 196 + <path 197 + style="fill:url(#linearGradient988);fill-opacity:1;stroke:none;stroke-width:0.5;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:7.75;stroke-dasharray:none;stroke-opacity:1" 198 + d="m -215.55287,113.15993 v 17.50615 l 26.19241,-8.55262 v -8.95353 z" 199 + id="path931" /> 200 + </g> 201 + </g> 202 +</svg> 203 +