[net.lang.prolog] Prolog type checker submitted to net.sources

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.