Basic Logical Programming