Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming