Changes for page 2P-Kt / tuProlog
From version 12.1
edited by Andrea Omicini
on 04/11/2021 17:04
on 04/11/2021 17:04
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,10 +1,7 @@ 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}}## 4 -{{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 5 -**{{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}} 6 -))){{/velocity}} 1 += {{stringIta}}Home {{/stringIta}}{{2pkt/}} / {{tuprolog/}}{{stringEng}} Home{{/stringEng}} = 7 7 3 +{{include reference="Environment"/}} 4 + 8 8 >{{tuprolog/}} / {{2pkt/}} {{english}}Tidbits{{/english}}{{italian}} in pillole {{/italian}} 9 9 10 10 {{tuprolog/}} {{english}}is{{/english}}{{italian}}è{{/italian}} ... ... @@ -25,6 +25,4 @@ 25 25 * {{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}}. 26 26 27 27 {{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}} 28 -{{/velocity}} 29 - 30 30 {{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 +