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 library) ... and more. If you can't find the documentation locally, you can browse it online at http://www.icparc.ic.ac.uk/eclipse/doc/index.html Cheers, Warwick 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