an internal/external dependency analyzer for software written in Prolog