2P-Kt: logic programming with objects & functions in Kotlin