Basic Logical Programs In Java