Basic Logical Programming Questions In Java