Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!mcvax!inria!imag!azzoune
From: azzoune@imag.UUCP (H. AZZOUNE)
Newsgroups: comp.lang.prolog
Subject: Types Utilizations in Prolog
Message-ID: <2070@imag.UUCP>
Date: Mon, 26-Oct-87 04:54:03 EST
Article-I.D.: imag.2070
Posted: Mon Oct 26 04:54:03 1987
Date-Received: Thu, 29-Oct-87 01:33:24 EST
Reply-To: azzoune@imag.UUCP (H. AZZOUNE)
Organization: IMAG, University of Grenoble, France
Lines: 12

I am looking for literature and articles on Types Utilisations for 
interpretation or compilation of Prolog. The type (domain) of an argument 
describes the set of terms (or schema of terms) for which the predicat may 
succed.

Does anybody have any suggestions?

thanks
H. Azzoune

azzoune@imag@uucp or
{seismo.css.gov|mcvax|inria}!imag!azzoune