Changes for page 2P-Kt / tuProlog

Summary

• Page properties (2 modified, 0 added, 0 removed)
• Attachments (0 modified, 0 added, 2 removed)
  • 2p-kt-logo.png
  • 2p-kt-logo.svg

Details

Page properties

Title

...	...	@@ -1,0 +1,1 @@
	1	+tuProlog / 2P-Kt Home

Content

...	...	@@ -1,8 +2,6 @@
1		-= {{stringIta}}Home {{/stringIta}}{{2pkt/}} / {{tuprolog/}}{{stringEng}} Home{{/stringEng}} =
2	2	{{velocity}}(((
3		-(% style="border-color:$theme.borderColor; border-style:hidden solid 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 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{{/italiano}}##
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
	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
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}}
7	7	))){{/velocity}}
8	8
...	...	@@ -26,4 +26,6 @@
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}}
	27	+{{/velocity}}
	28	+
29	29	{{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		-