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.