From Jonatan.Samoocha@ps.net Fri Jun  8 09:42:41 2001
Received: from timeserver.hea.ps.net (gateway2.ps.net [192.131.85.3])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f587gd328100
	for <prolog@swi.psy.uva.nl>; Fri, 8 Jun 2001 09:42:40 +0200 (MET DST)
Received: from eurscan02 (eurscan02.eur.ps.net [160.110.96.27])
	by timeserver.hea.ps.net (8.11.0/8.11.0) with SMTP id f587gbt26978
	for <prolog@swi.psy.uva.nl>; Fri, 8 Jun 2001 08:42:37 +0100
Received: from notexch52.not.ps.net ([160.110.96.94])
 by eurscan02 (NAVIEG 2.1 bld 68) with SMTP id M2001060808453700721
 ; Fri, 08 Jun 2001 08:45:37 +0100
Received: by NOTEXCH52 with Internet Mail Service (5.5.2650.21)
	id <MKY5PP22>; Fri, 8 Jun 2001 08:42:42 +0100
Message-ID: <254900BF056BD41193D20090273A6F1C713237@AMFEXCH01>
From: "Samoocha, Jonatan" <Jonatan.Samoocha@ps.net>
To: "'Sebastian Sardina'" <ssardina@cs.toronto.edu>,
   "'prolog@swi.psy.uva.nl'" <prolog@swi.psy.uva.nl>
Subject: RE: [SWIPL] constraint library?
Date: Fri, 8 Jun 2001 08:42:28 +0100 
MIME-Version: 1.0
X-Mailer: Internet Mail Service (5.5.2650.21)
Content-Type: text/plain;
	charset="iso-8859-1"

Hi,

I don't know if SWI-prolog itself has a library for constraint solving.
However, what you can do is use one of the prolog "dialects" for constraint
satisfaction problems. One of these is called ECLiPSe and can be found at
http://www.icparc.ic.ac.uk/eclipse/ . Maybe it's even installed at your
university system, otherwise it's free for academic use (??).

I hope this will somewhat answer your (not too stupid) question...

Jonatan Samoocha

> -----Original Message-----
> From: Sebastian Sardina [mailto:ssardina@cs.toronto.edu]
> Sent: donderdag 7 juni 2001 22:29
> 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/
> 

