Types Utilizations in Prolog

Article View: comp.lang.prolog

Article #2845

#2845

From: H. AZZOUNE
Date: Mon, 26 Oct 1987 09:54

12 lines
846 bytes

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

Technical Details

Message-ID: <2070@imag.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!mcvax!inria!imag!azzoune

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: arc1-ca.pugleaf.net!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