Cimadamore, Viroli, 2007. A Prolog-oriented extension of Java programming based on generics and annotations, in: . ACM Press.. https://doi.org/10.1145/1294325.1294352