A Prolog-oriented extension of Java programming based on generics and annotations

@inproceedings{patj-pppj07,
   address = {New York, NY, USA},
   apice = {PatjPppj07},
   author = {Cimadamore, Maurizio and Viroli, Mirko},
   booktitle = {5th International Symposium on Principles and Practice of Programming in {J}ava (PPPJ '07)},
   doi = {10.1145/1294325.1294352},
   isbn = {978-1-59593-672-1},
   location = {Lisboa, Portugal},
   pages = {197--202},
   publisher = {ACM},
   title = {A {P}rolog-oriented extension of {J}ava programming based on generics and annotations},
   year = 2007
}