Implementing Functional Logic Programs door Bernd Brassel