2P-Kt: logic programming with objects & functions in Kotlin. - Giovanni Ciatto; Roberta Calegari; Enrico Siboni; Enrico Denti; Andrea Omicini (WOA, 2020)