Functional Logic : Inquiry and Analogy