Logical Programs For Java