Giovanni Ciatto, Roberta Calegari, Andrea Omicini

Computational logic and logic programming (LP) play a central role in AI. While their impact on symbolic AI is well established, emergent AI techniques leverage on logic to make data-driven AI more predictable or understandable. Thus, the need for solid, interoperable, general-purpose logic-based technolo- gies (LBT) is more compelling than ever. Most LBT are either built on top or as extensions of the Prolog language. Even when this is not the case, monolithic solutions are built around different inference procedures, unification mechanisms, or knowledge representation techniques. However, LBT should be neither constructed as Prolog-centred monoliths nor tailored to a specific semantics or language. To maximise their AI-related impact, LBT should welcome the manifold contributions coming from the LP playground, supporting the general-purposes exploitation of as many mechanisms as possible. Accordingly, we present 2P-Kt, a reboot of the tuProlog project offering a general, extensible, and interoperable ecosystem for LP and symbolic AI.

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



2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna