From dmiles@teknowledge.com Fri Jun  8 09:31:41 2001
Received: from helium.teknowledge.com (promethium.teknowledge.com [128.136.192.50])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f587Vf326171
	for <prolog@swi.psy.uva.nl>; Fri, 8 Jun 2001 09:31:41 +0200 (MET DST)
Received: by helium.teknowledge.com with Internet Mail Service (5.5.2653.19)
	id <MJN6VHKJ>; Fri, 8 Jun 2001 00:25:47 -0700
Message-ID: <EE25484266A64A47AE06CFC47C64232B40399C@helium.teknowledge.com>
From: "Douglas R. Miles" <dmiles@teknowledge.com>
To: "'Sebastian Sardina'" <ssardina@cs.toronto.edu>, prolog@swi.psy.uva.nl
Subject: RE: [SWIPL] constraint library?
Date: Fri, 8 Jun 2001 00:25:09 -0700 
MIME-Version: 1.0
X-Mailer: Internet Mail Service (5.5.2653.19)
Content-Type: text/plain;
	charset="iso-8859-1"

Sebastian,

Are you refering to argument type constraints for predicates?  So one can
use a therotical type ontology to define limited possiblities for unbound
prolog varibles?


Douglas


> -----Original Message-----
> From: Sebastian Sardina [mailto:ssardina@cs.toronto.edu]
> Sent: Thursday, June 07, 2001 1:29 PM
> To: prolog@swi.psy.uva.nl
> Subject: [SWIPL] constraint library?
> 
> 
> I have asked this question before. 
> Either it was too stupid (most probably) or nobody saw my
> message.  Anyway, I re-post it:
> 
> Does SWI have any constraint library or module? 
> 
> Thanks  
> 
> Sebastian
> 
> 
> ----------------
> * To UNSUBSCRIBE, please use the HTML form at
> 
>     
> http://www.swi.psy.uva.nl/projects/SWI-Prolog/index.html#mailinglist
> 
> or send mail to prolog-request@swi.psy.uva.nl using the 
> Subject: "unsubscribe"
> (without the quotes) and *no* message body.
> 
> ** An ARCHIVE of this list is maintained at
> 
>     http://www.swi.psy.uva.nl/projects/SWI-Prolog/mailinglist/archive/
> 
> 
> 

