Logical and Functional Programming