Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!decvax!harpo!gummo!whuxlb!floyd!vax135!ukc!edcaad!edee!edai!ok
From: ok@edai.UUCP (Richard O'Keefe)
Newsgroups: net.lang.prolog
Subject: Prolog type checker submitted to net.sources
Message-ID: <3841@edai.UUCP>
Date: Fri, 5-Aug-83 05:18:50 EDT
Article-I.D.: edai.3841
Posted: Fri Aug  5 05:18:50 1983
Date-Received: Fri, 5-Aug-83 10:42:02 EDT
Lines: 9

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.