by Giovanni Ciatto and Lorenzo Rizzato
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 technologies (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.
tuProlog homepage: http://tuprolog.unibo.it
2P-Kt project on GitHub: https://github.com/tuProlog/2p-kt
Recording of the talk (requires Unibo credentials, ask for a copy via a private email otherwise):