2P-Kt / tuProlog

tuProlog (2P for short) is a logic programming framework supporting multi-paradigm programming via a seamless, orthogonal, and bidirectional integration between the logic and object-oriented paradigms 2P-Kt (tuProlog in Kotlin) is a reboot of the tuProlog project based on Kotlin aimed at providing for a general, extensible, and interoperable ecosystem for logic programming and artificial intelligence

The project has had two implementations, twenty years apart, and each has its own pages here. They are not two versions of one codebase: 2P-Kt is a reboot, written afresh in a different language, on a different architecture, under a different licence.

implementation	what it is	since	licence
tuProlog	the light-weight Java engine, later ported to .NET, Android and iOS — unmaintained	2001	LGPL
2P-Kt	the multi-platform Kotlin ecosystem for symbolic AI — current	2020	Apache 2.0

tuProlog	2P-Kt

Publications, talks and theses are listed on both sets of pages, each under its own tag; this page keeps the two lists together, as it always has. Everything else — documentation, downloads, sources, licence — is specific to one implementation or the other, and lives with it.