Logical Programming Examples