Logical Programs In Java