A debugging tool for pure logic and constraint-logic programs that gives explanations of unexpected failure (or unexpected success) of a given query Q for a given program P.

It combines program analysis with the process of automatic program generalisation and specialisation. In the future, CFT will augment the existing automatic debugging capabilities available in GUPU. I also intend to provide a WWW interface to it.