Changes for page 2P-Kt / tuProlog

From 16.1 to 15.1 From 24.1 to 23.1

From version 23.1

edited by Andrea Omicini
on 30/12/2021 02:48

Change comment: There is no comment for this version

To version 16.1

edited by Andrea Omicini
on 11/11/2021 17:00

Change comment: Upload new image "2p-kt-logo.png", version 1.1

Raw
Rendered

Summary

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

Details

Page properties

Title

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

Content

@@ -1,26 +1,28 @@
--= {{stringIta}}Home {{/stringIta}}{{2pkt/}} / {{tuprolog/}}{{stringEng}} Home{{/stringEng}} =
++{{velocity}}(((
++(% 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
++**{{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}}##
++{{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
++**{{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}}
++))){{/velocity}}
--{{include reference="Punchline" excludeFirstHeading="true"/}}
++>{{tuprolog/}} / {{2pkt/}} {{english}}Tidbits{{/english}}{{italian}} in pillole {{/italian}}
-->{{2pkt/}} / {{tuprolog/}} {{english}}Tidbits{{/english}}{{italiano}} in pillole {{/italiano}}
++{{tuprolog/}} {{english}}is{{/english}}{{italian}}è{{/italian}}
++* {{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}}
++* {{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}}
++* {{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}}
++* {{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}}
--{{tuprolog/}} {{english}}is{{/english}}{{italiano}}è{{/italiano}}
--* {{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}}
--* {{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}}
--* {{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}}
--* {{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}}
++{{2pkt/}} {{english}}is{{/english}}{{italian}}è{{/italian}}
++* {{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}}
++* {{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}}
--{{2pkt/}} {{english}}is{{/english}}{{italiano}}è{{/italiano}}
--* {{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}}
--* {{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}}
++>{{english}}{{tuprolog/}} / {{2pkt/}} Tech & Docs{{/english}}{{italian}} Tecnologia e documentazione {{tuprolog/}}{{/italian}}
-->{{english}}{{2pkt/}} / {{tuprolog/}} Tech & Docs{{/english}}{{italiano}} Tecnologia e documentazione {{tuprolog/}}{{/italiano}}
++* {{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"]]
++* {{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"]]
++* {{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"]]
++*  {{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}}.
--* {{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"]]
--* {{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"]]
--* {{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"]]
--*  {{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}}.
--
--{{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}}
--
--{{include reference="Environment" excludeFirstHeading="true"/}}
++{{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}}
++{{include reference="Environment"/}}

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 @@
--<?xml version="1.0" encoding="UTF-8" standalone="no"?>
--<svg
--   xmlns:dc="http://purl.org/dc/elements/1.1/"
--   xmlns:cc="http://creativecommons.org/ns#"
--   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
--   xmlns:svg="http://www.w3.org/2000/svg"
--   xmlns="http://www.w3.org/2000/svg"
--   xmlns:xlink="http://www.w3.org/1999/xlink"
--   id="svg8"
--   version="1.1"
--   viewBox="0 0 111.71432 91.134521"
--   height="91.134521mm"
--   width="111.71432mm">
--  <defs
--     id="defs2">
--    <linearGradient
--       id="linearGradient1015">
--      <stop
--         style="stop-color:#2a7fff;stop-opacity:1"
--         offset="0"
--         id="stop1011" />
--      <stop
--         style="stop-color:#776ec7;stop-opacity:1"
--         offset="1"
--         id="stop1013" />
--    </linearGradient>
--    <linearGradient
--       id="linearGradient965-1">
--      <stop
--         id="stop961"
--         offset="0"
--         style="stop-color:#cd52ba;stop-opacity:1" />
--      <stop
--         id="stop963"
--         offset="1"
--         style="stop-color:#ea8a02;stop-opacity:1" />
--    </linearGradient>
--    <linearGradient
--       id="linearGradient957">
--      <stop
--         id="stop953"
--         offset="0"
--         style="stop-color:#0066ff;stop-opacity:1" />
--      <stop
--         id="stop955"
--         offset="1"
--         style="stop-color:#776ec7;stop-opacity:1" />
--    </linearGradient>
--    <clipPath
--       clipPathUnits="userSpaceOnUse"
--       id="clipPath831">
--      <path
--         d="M 8.871e-6,0 H 595.32001 V 841.92 H 8.871e-6 Z"
--         id="path829"
--         style="clip-rule:evenodd" />
--    </clipPath>
--    <clipPath
--       clipPathUnits="userSpaceOnUse"
--       id="clipPath843">
--      <path
--         d="M 8.871e-6,0 H 595.32001 V 841.92 H 8.871e-6 Z"
--         id="path841"
--         style="clip-rule:evenodd" />
--    </clipPath>
--    <clipPath
--       clipPathUnits="userSpaceOnUse"
--       id="clipPath855">
--      <path
--         d="M 8.871e-6,0 H 595.32001 V 841.92 H 8.871e-6 Z"
--         id="path853"
--         style="clip-rule:evenodd" />
--    </clipPath>
--    <linearGradient
--       gradientUnits="userSpaceOnUse"
--       y2="123.67571"
--       x2="-246.95705"
--       y1="141.98367"
--       x1="-299.07458"
--       id="linearGradient940"
--       xlink:href="#linearGradient1015" />
--    <linearGradient
--       gradientUnits="userSpaceOnUse"
--       y2="177.39688"
--       x2="-299.07458"
--       y1="159.48982"
--       x1="-246.95705"
--       id="linearGradient959"
--       xlink:href="#linearGradient1015" />
--    <linearGradient
--       gradientUnits="userSpaceOnUse"
--       y2="536.63123"
--       x2="-933.38092"
--       y1="584.93909"
--       x1="-1130.3607"
--       id="linearGradient967"
--       xlink:href="#linearGradient965-1" />
--    <linearGradient
--       gradientTransform="translate(-3.2125952e-6,-28.823639)"
--       gradientUnits="userSpaceOnUse"
--       y2="135.015"
--       x2="-223.57095"
--       y1="159.48982"
--       x1="-241.34438"
--       id="linearGradient980"
--       xlink:href="#linearGradient1015" />
--    <linearGradient
--       gradientTransform="translate(-3.2125952e-6,-28.823639)"
--       gradientUnits="userSpaceOnUse"
--       y2="159.48982"
--       x2="-215.55287"
--       y1="141.98367"
--       x1="-198.35495"
--       id="linearGradient988"
--       xlink:href="#linearGradient957" />
--    <linearGradient
--       gradientTransform="translate(-3.2125952e-6,-28.823639)"
--       gradientUnits="userSpaceOnUse"
--       y2="141.98367"
--       x2="-223.57095"
--       y1="123.67571"
--       x1="-189.36046"
--       id="linearGradient996"
--       xlink:href="#linearGradient965-1" />
--    <linearGradient
--       gradientTransform="translate(-3.2125952e-6,-28.823639)"
--       gradientUnits="userSpaceOnUse"
--       y2="159.48982"
--       x2="-215.55287"
--       y1="177.39688"
--       x1="-241.34438"
--       id="linearGradient1004"
--       xlink:href="#linearGradient965-1" />
--  </defs>
--  <metadata
--     id="metadata5">
--    <rdf:RDF>
--      <cc:Work
--         rdf:about="">
--        <dc:format>image/svg+xml</dc:format>
--        <dc:type
--           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
--        <dc:title></dc:title>
--      </cc:Work>
--    </rdf:RDF>
--  </metadata>
--  <g
--     transform="translate(300.07477,-87.262344)"
--     id="layer1">
--    <g
--       transform="translate(-1.2717353e-5,1.513548e-6)"
--       id="g208">
--      <rect
--         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"
--         id="rect907"
--         width="52.11755"
--         height="18.307961"
--         x="-299.07458"
--         y="123.67571" />
--      <rect
--         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"
--         id="rect909"
--         width="52.11755"
--         height="17.907061"
--         x="-299.07458"
--         y="159.48981" />
--      <path
--         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"
--         d="m -1062.6797,536.63086 -67.6816,24.90625 v 41.25977 h 67.6816 11.1113 l 118.18754,-66.16602 z"
--         transform="scale(0.26458333)"
--         id="path919" />
--    </g>
--    <g
--       transform="translate(-7.9415711e-6,-6.5897981)"
--       id="g201">
--      <rect
--         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"
--         id="rect925"
--         width="25.79151"
--         height="17.907061"
--         x="-241.34438"
--         y="130.6664" />
--      <rect
--         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"
--         id="rect927"
--         width="17.77343"
--         height="35.81411"
--         x="-241.34438"
--         y="94.852142" />
--      <rect
--         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"
--         id="rect929"
--         width="34.210491"
--         height="18.307959"
--         x="-223.57094"
--         y="94.852142" />
--      <path
--         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"
--         d="m -215.55287,113.15993 v 17.50615 l 26.19241,-8.55262 v -8.95353 z"
--         id="path931" />
--    </g>
--  </g>
--</svg>
--