Changes for page 2P-Kt / tuProlog

Summary

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

Details

Page properties

Title

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

Content

...	...	@@ -1,5 +1,6 @@
	1	+= {{stringIta}}Home {{/stringIta}}{{2pkt/}} / {{tuprolog/}}{{stringEng}} Home{{/stringEng}} =
1	1	{{velocity}}(((
2		-(% 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
	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
3	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{{/italiano}}##
4	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	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}}

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	+