Giovanni Ciatto, Roberta Calegari, Andrea Omicini

To date, logic-based technologies are either built on top or as extensions of the Prolog language, mostly working as monolithic solutions tailored upon specific inference procedures, unification mechanisms, or knowledge representation techniques. Instead, to maximise their impact, logic-based technologies should support and enable the general-purpose exploitation of all the manifold contributions from logic programming. Accordingly, we present 2P-Kt, a reboot of the tuProlog project offering a general, extensible, and interoperable ecosystem for logic programming and symbolic AI.

(keywords) logic programming, artificial intelligence, Prolog, Kotlin, tuProlog

SoftwareX 16, pages 1–7, 7 pages, article no.100817, December 2021.

@article{2pkt-swx16,
author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
doi = {10.1016/j.softx.2021.100817},
issn = {2352-7110},
journal = {SoftwareX},
keywords = {logic programming, artificial intelligence, Prolog, Kotlin, tuProlog},
month = dec,
pages = {100817:1--7},
title = {{\textsf{2}P-Kt}: A Logic-Based Ecosystem for Symbolic {AI}},
url = {https://www.sciencedirect.com/science/article/pii/S2352711021001126},
volume = 16,
year = 2021}

Journals & Series

Publication

— authors

Giovanni Ciatto, Roberta Calegari, Andrea Omicini

— status

published

— sort

article in journal

Venue

— journal

SoftwareX

— volume/issue

16

— publication date

December 2021

— pages

1–7

— article no.

100817

URLs & IDs

original page
original PDF

— DOI

10.1016/j.softx.2021.100817

— IRIS

11585/834368

BibTeX

— BibTeX ID
2pkt-swx16
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY