We present a tool to develop functional logic programs from their
specifications.  Specifications of functional logic languages,
i.e., contracts in the form of pre- and postconditions, are
written in the same language as the final programs.  Thus,
contracts serve either as initial prototypical implementations or
as assertions to check the expected behavior of more efficient
implementations.  We describe a tool that supports this software
development process.  Our tool can either instrument ordinary
programs with run-time assertions obtained from declarative
contracts or can transform declarative contracts into prototypical
implementations.