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/