Changes for page 2P-Kt / tuProlog
From version 22.1
edited by Andrea Omicini
on 24/11/2021 09:31
on 24/11/2021 09:31
Change comment:
There is no comment for this version
To version 13.1
edited by Andrea Omicini
on 04/11/2021 17:05
on 04/11/2021 17:05
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
-
Attachments (0 modified, 0 added, 2 removed)
Details
- Page properties
-
- Title
-
... ... @@ -1,0 +1,1 @@ 1 +tuProlog / 2P-Kt Home - Content
-
... ... @@ -1,25 +1,29 @@ 1 -= {{stringIta}}Home {{/stringIta}}{{2pkt/}} / {{tuprolog/}}{{stringEng}} Home{{/stringEng}} = 1 +{{velocity}}((( 2 +(% style="background-color:$theme.fieldGradientColor; border-style:hidden" %)!!**{{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 3 +**{{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}}{{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 4 +**{{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}} 5 +))){{/velocity}} 2 2 3 -{{ includereference="Headline"/}}7 +>{{tuprolog/}} / {{2pkt/}} {{english}}Tidbits{{/english}}{{italian}} in pillole {{/italian}} 4 4 5 ->{{2pkt/}} / {{tuprolog/}} {{english}}Tidbits{{/english}}{{italiano}} in pillole {{/italiano}} 9 +{{tuprolog/}} {{english}}is{{/english}}{{italian}}è{{/italian}} 10 +* {{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}} 11 +* {{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}} 12 +* {{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}} 13 +* {{english}} an //open source// technology released under the Apache 2.0 License {{/english}}{{italian}} una tecnologia //open source// rilasciata sotto licenza Apache 2.0 {{/italian}} 6 6 7 -{{tuprolog/}} {{english}}is{{/english}}{{italiano}}è{{/italiano}} 8 -* {{english}} a //light-weight// Prolog system for desktop, web, or mobile applications {{/english}}{{italiano}} un sistema Prolog //leggero// per applicazioni desktop, web, o mobili {{/italiano}} 9 -* {{english}} designed around a //minimal//, //layered// core, to be //configured// via //libraries// either statically or dynamically {{/english}}{{italiano}} progettato intorno a un core //minimale//, //configurabile// via //librerie// sia staticamente sia dinamicamente {{/italiano}} 10 -* {{english}} an //object-oriented library// of reusable //logic programming software//, which can be exploited by most mainstream programming frameworks and platforms {{/english}}{{italiano}} una //libreria a oggetti// di //programmi logici// che possono essere usati dalla maggior parte dei framework e delle piattaforme mainstream {{/italiano}} 11 -* {{english}} an //open source// technology released under the Apache 2.0 License {{/english}}{{italiano}} una tecnologia //open source// rilasciata sotto licenza Apache 2.0 {{/italiano}} 15 +{{2pkt/}} {{english}}is{{/english}}{{italian}}è{{/italian}} 16 +* {{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}} 17 +* {{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}} 12 12 13 -{{2pkt/}} {{english}}is{{/english}}{{italiano}}è{{/italiano}} 14 -* {{english}} the current //implementation of {{tuprolog/}} in Kotlin// targetting JVM, JS (both server- and browser-side), and Android platforms {{/english}}{{italiano}} l'//implementazione corrente di {{tuprolog/}} in Kotlin// con target JVM, JS (sia server- sia browser-side), e Android {{/italiano}} 15 -* {{english}} ultimately aimed at providing //intelligent systems engineers// with a //general-purpose, extensible, open ecosystem// for symbolic AI {{/english}}{{italiano}} volto a fornire agli ingegneri dei sistemi intelligenti un //ecosistema general-purpose, estensibile e aperto// per la IA simbolica {{/italiano}} 19 +>{{english}}{{tuprolog/}} / {{2pkt/}} Tech & Docs{{/english}}{{italian}} Tecnologia e documentazione {{tuprolog/}}{{/italian}} 16 16 17 ->{{english}}{{2pkt/}} / {{tuprolog/}} Tech & Docs{{/english}}{{italiano}} Tecnologia e documentazione {{tuprolog/}}{{/italiano}} 21 +* {{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"]] 22 +* {{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"]] 23 +* {{english}} {{2pkt/}} //online documentation// is available at {{/english}}{{italian}} la //documentazione online// di {{2pkt/}} è disponibile via {{/italian}}[[GitLab>>http://pika-lab.gitlab.io/tuprolog/2p-in-kotlin||rel="_blank"]] 24 +* {{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}}. 18 18 19 -* {{2pkt/}}{{english}} and related packages are //released// under the Apache 2.0 License via {{/english}}{{italiano}} e relativi package sono //rilasciati// sotto licenza Apache 2.0 via {{/italiano}}[[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"]] 20 -* {{english}} {{2pkt/}} //source code// is freely available at {{/english}}{{italiano}} il codice sorgente {{2pkt/}} è disponibile liberamente via {{/italiano}}[[GitHub>>https://github.com/tuProlog/2p-kt||rel="_blank"]], [[GitLab>>https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin||rel="_blank"]] 21 -* {{english}} {{2pkt/}} //online documentation// is available at {{/english}}{{italiano}} la //documentazione online// di {{2pkt/}} è disponibile via {{/italiano}}[[GitLab>>http://pika-lab.gitlab.io/tuprolog/2p-in-kotlin||rel="_blank"]] 22 -* {{2pkt/}}{{english}} provides a {{/english}}{{italiano}} mette a disposizione il {{/italiano}}[[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}}{{italiano}} sotto forma di una applicazione web per esercitarsi con {{tuprolog/}} da un browser web{{/italiano}}. 26 +{{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}} 27 +{{/velocity}} 23 23 24 -{{warning}}{{english}}If you meet any issue with {{2pkt/}} please //open an issue// on the {{/english}}{{italiano}} Per segnalare qualsivoglia problema relativo a {{2pkt/}}, si prega di aprire una //issue// sulla pagina {{/italiano}}[[GitLab Issues>>https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin/-/issues||rel="_blank"]]{{english}} page{{/english}}.{{/warning}} 25 25 {{include reference="Environment"/}}
- 2p-kt-logo.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.AndreaOmicini - Size
-
... ... @@ -1,1 +1,0 @@ 1 -22.6 KB - Content
- 2p-kt-logo.svg
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.AndreaOmicini - Size
-
... ... @@ -1,1 +1,0 @@ 1 -6.5 KB - Content
-
... ... @@ -1,203 +1,0 @@ 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 -