"LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis."

Sergio Castro, Kim Mens, Paulo Moura (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics