Christof Rumpf writes:

...

does anyone know of a lint tool for SICStus Prolog? I would like to have a tool that analyses a set of modules and tells me which predicates are defined, but not used by any other predicate, and so on. Before I start to write this tool I want to get sure that no one else still has it.

Dear Christof,

The Ciao Prolog library 'xrefs' does something similar. It may not help you, but just in case: it "crosses" clause heads and clause body goals of different files (it is not aware of modules: just ignores them). It may work for you if you don't have clashes between predicate names in different modules.

Regards,

Francisco Bueno CLIP group - CS Dept. - FIM - UPM Campus de Montegancedo - 28660, Boadilla del Monte - Madrid Tel: +34 1 336 7441 Fax: +34 1 352 4819 Internet: bueno(a)fi.upm.es http://www.clip.dia.fi.upm.es/~bueno/