Implementing a Functional Logic Programming Language via the Fair Scheme