The SWI-Prolog Cross-Referencer can be used to examine the currently loaded program, creating a hiearchical file overview with icons indicating which files have suspicious code, a dependecy view as shown below and detailed info per file as shown below that. To analyse a program, load it into Prolog and, simply run gxref/0:
File-dependecy view. Views can be created for the whole project, per directory or selectively by adding files to the view.
Provide information per file on its dependency. Using the command 'Header', the system can create module headers with appropriate import and export headers.