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