Basic Logical Programming Questions