Prolog Control Flow



Hello all,

I've recently taken over a Prolog based project with thousands of
lines of code across multiple files. I'm looking to create a
hierarchical control flow of the calls. For example, I take argument
X and the output of the program would be a hierarchy of its flow
through the calls in the code. Essentially, I am looking for
something similar to cflow, http://www.gnu.org/software/cflow/.

If anyone knows of such a thing I would appreciate it.

Sincerely,
.