2P-Kt: A Logic-Based Ecosystem for Symbolic AI

by Giovanni Ciatto, Roberta Calegari, and 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.

How to access

How to cite


	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