Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!asuvax!ukma!rutgers!hsdndev!cmcl2!adm!lhc!nih-csl!alw.nih.gov!apolis
From: apolis@alw.nih.gov (Alan Polis)
Newsgroups: comp.lang.prolog
Subject: Re: Specifying types
Keywords: Types in Prolog, Typed Prolog, Type Reconstruction
Message-ID: <1594@nih-csl.nih.gov>
Date: 17 Jun 91 13:29:07 GMT
References: <9106111357.AA29175@ucbvax.Berkeley.EDU> <6333@goanna.cs.rmit.oz.au> <1991Jun17.050651.703@m.cs.uiuc.edu>
Sender: news@nih-csl.nih.gov
Reply-To: apolis@alw.nih.gov (Alan Polis)
Organization: National Inst. of Health
Lines: 9

I noticed NU-PROLOG version was referenced in your letter.  I would like to
get more information on NU-PROLOG such as: who developed NU-PROLOG, where
could I get a copy, and are there references to NU-PROLOG in the literature.

Thanks in advance.

Alan Polis
National Institute of Health
Bethesda, MD 20892