From 7a1b127a10a084793da74e275d598f3c482be9c0 Mon Sep 17 00:00:00 2001 From: VaiTon Date: Tue, 5 Nov 2024 09:22:35 +0100 Subject: [PATCH] feat: add desktop and appstream files (#725) --- it.unibo.tuprolog.ide.desktop | 7 +++++++ it.unibo.tuprolog.ide.metainfo.xml | 23 +++++++++++++++++++++++ 2 files changed, 30 insertions(+) create mode 100644 it.unibo.tuprolog.ide.desktop create mode 100644 it.unibo.tuprolog.ide.metainfo.xml diff --git a/it.unibo.tuprolog.ide.desktop b/it.unibo.tuprolog.ide.desktop new file mode 100644 index 000000000..6ae15824c --- /dev/null +++ b/it.unibo.tuprolog.ide.desktop @@ -0,0 +1,7 @@ +[Desktop Entry] +Name=TuProlog IDE +Exec=tuprolog-ide +Type=Application +Icon=it.unibo.tuprolog.ide +Categories=Development; +X-Desktop-File-Install-Version=0.27 diff --git a/it.unibo.tuprolog.ide.metainfo.xml b/it.unibo.tuprolog.ide.metainfo.xml new file mode 100644 index 000000000..eef50ca6b --- /dev/null +++ b/it.unibo.tuprolog.ide.metainfo.xml @@ -0,0 +1,23 @@ + + + it.unibo.tuprolog.ide + + tuProlog IDE + An IDE for using Prolog via 2p-kt + + https://apice.unibo.it/xwiki/bin/view/Tuprolog/ + + CC-BY-SA-4.0 + Apache-2.0 + + +

+ tuProlog (2P henceforth) is a multi-paradigm logic programming framework written in Java. +

+

+ 2P-Kt is a Kotlin-based and multi-platform reboot of 2P. It consists of an open ecosystem for Symbolic Artificial Intelligence (AI). For this reason, 2P-Kt consists of a number of incrementally inter-dependent modules aimed at supporting symbolic manipulation and reasoning in an extensible and flexible way. +

+
+ + it.unibo.tuprolog.ide.desktop +