Path: utzoo!attcan!uunet!lll-winken!uwm.edu!rpi!batcomputer!cornell!feldman
From: feldman@flute.cs.cornell.edu (Ronen Feldman)
Newsgroups: comp.lang.prolog
Subject: mode inference package for C-prolog
Message-ID: <43248@cornell.UUCP>
Date: 12 Jul 90 17:25:43 GMT
Sender: nobody@cornell.UUCP
Reply-To: feldman@cs.cornell.edu (Ronen Feldman)
Organization: Cornell Univ. CS Dept, Ithaca NY
Lines: 8

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)