Demand-driven Search in Functional Logic Programs (Extended Abstract)