[comp.lang.prolog] mode inference package for C-prolog

feldman@flute.cs.cornell.edu (Ronen Feldman) (07/13/90)

I'm looking for well documented package that can perform static mode
inference to prolog programs. 
If anybody has such a package that he/she is willing to share please
send me email.

Thanks

Ronen Feldman (feldman@cs.cornell.edu)