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)