Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!seismo!sundc!pitstop!sun!decwrl!labrea!rutgers!iuvax!pur-ee!uiucdcs!uiucdcsb!reddy
From: reddy@uiucdcsb.cs.uiuc.edu
Newsgroups: comp.lang.prolog
Subject: Re: Types Utilizations in Prolog
Message-ID: <163700001@uiucdcsb>
Date: Sat, 31-Oct-87 11:19:00 EST
Article-I.D.: uiucdcsb.163700001
Posted: Sat Oct 31 11:19:00 1987
Date-Received: Thu, 5-Nov-87 06:41:50 EST
References: <2070@imag.UUCP>
Lines: 15
Nf-ID: #R:imag.UUCP:2070:uiucdcsb:163700001:000:548
Nf-From: uiucdcsb.cs.uiuc.edu!reddy    Oct 31 10:19:00 1987


I don't know if Lee's message got cut off in the middle somewhere on
the net.  But, I didn't see an important reference mentioned in his
list.

	Mycroft and O'Keefe, A polymorphic type system for Prolog,
	Artificial Intelligence, 23:295-307 (1984).

An implementation of this system exists.  But, it needs lots of
declarations.  You can probably ask O'Keefe for a copy of the system.

For an early reference on the theory of type "inference", see

	Mishra, Towards a theory of types in Prolog, IEEE Intl. Symp
	on Logic Programming, 1984, 289-298.