An(other) Integration of Logic and Functional Programming