Subject: RE: [SWIPL] constraint library?

From: "Douglas R. Miles" <[email-masked]>
Date: Fri, 8 Jun 2001 00:25:09 -0700

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:[email-masked]]
> Sent: Thursday, June 07, 2001 1:29 PM
> To: [email-masked]
> 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 [email-masked] 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/
> 
> 
>