Re: newbie questions.

From: <>
Date: Thu 14 Jul 2005 03:06:46 PM GMT
Message-ID: <>
Hi Karan,

On Thu, Jul 14, 2005 at 09:43:55AM -0500, Karan wrote:
> The problem I am facing is:
> how do I know what are the predicates available to me in which library?
> I was not able to figure out for quite some time which library I have to 
> load to get this program to run. I browsed thru the ML archives and was 
> able to find that I have to use lib(fd) for eclipse to recognize ::, etc.
> So where can I get more information about libraries?

ECLiPSe comes with lots of documentation.  Perhaps you didn't download the
documentation package, or you don't know where it was installed?

The documentation includes:

- a tutorial introduction to ECLiPSe (good for getting started)
- a User Manual (lots of information about ECLiPSe and its features)
- a Constraint Library Manual (detailed information about the constraint
  libraries included in ECLiPSe)
- a Reference Manual (detailed information about every predicate in each

... and more.

If you can't find the documentation locally, you can browse it online at


P.S.  The use of the FD library is no longer supported - you are strongly
encouraged to use the IC library instead.
Received on Thu Jul 14 16:03:53 2005

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:37 PM GMT GMT