Curry: A Truly Integrated Functional Logic Programming Language