Implementation Issues for Functional Logic Programming