Implementing Functional Logic Programs by Bernd Brassel