Thanks guys. I found all the docs. -- never compromise. what if you compromise and lose? -- NS & DCA (CM II) Resolution Systems Inc. U.S.A. Kish Shen wrote: >Hi, > > > >>how do I know what are the predicates available to me in which library? >> >> > >Just to add to what Warwick said: > > > >>- a Reference Manual (detailed information about every predicate in each >> library) >> >> > >The reference manual is available from inside ECLiPSe, and you can use it >to locate the locate predicates you don't recognise. > >You can access this either via the help predicate, or through the Library >browser and help tool of tkeclipse. For example, from the tool, if I type >in ::, followed by <return>, I get a list of builtin/library predicates >that has :: as part of their name: > >---- >In library fd: ?Vars #:: ?Domain > Terms in Vars have the domain Domain. The predicate is an alias for ::/2. >---- >In library ic: ?Vars #:: ++Domain > Constrain Vars to be integral and have the domain Domain. >etc. > >Cheers, > >Kish > > > >Received on Mon Jul 18 16:19:02 2005
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:38 PM GMT GMT