Observe
A tool to observe functional logic computations
Detailed package documentation (available shortly after this version has been published)