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

@inproceedings{kotlindsi4prolog-woa2020,
   address = {Aachen, Germany},
   apice = {Kotlindsi4prologWoa2020},
   author = {Ciatto, Giovanni and Calegari, Roberta and Siboni, Enrico and Denti, Enrico and Omicini, Andrea},
   booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''},
   dblp = {conf/woa/CiattoCSDO20},
   editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
   iris = {11585/781391},
   issn = {1613-0073},
   keywords = {object-oriented programming, multi-paradigm languages, domain-specific languages, Kotlin},
   lens = {118-082-078-695-668},
   location = {Bologna, Italy},
   month = oct,
   note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
   numpages = 18,
   openalex = {W3094844482},
   pages = {219--236},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   scopus = {2-s2.0-85095597762},
   series = {CEUR Workshop Proceedings},
   subseries = {AIxIA Series},
   title = {{\sf 2}{P}-{\sc {K}t}: logic programming with objects \& functions in {K}otlin},
   url = {http://ceur-ws.org/Vol-2706/paper14.pdf},
   urlpdf = {http://ceur-ws.org/Vol-2706/paper14.pdf},
   volume = 2706,
   wos = {WOS:001788676900016},
   year = 2020
}