Narrowing and Resolution in Logic-Functional Programming Languages