ok@edai.UUCP (Richard O'Keefe) (08/05/83)
I have just submitted the sources for the Prolog type checker that I mentioned quite a while back to net.sources. You will almost certainly have to hack it a bit if you are using anything other than Dec-10 Prolog. Nota Bene: this code does a number of things like input/output and maintaining a data base (not to mention scanning terms) which aren't really logic. Don't take this as an example of what I consider to be good style. It isn't. But it works.