Logic Programs In Java