Re: If-Then-Else Construct in Eclipse

Hi Sathish,

> Is there any if-then-else construct in Eclipse?

Yes.  You can either use the last construct below:
goals                   ::=     term_g
                         |      goals , goals
                         |      goals ; goals
                         |      goals -> goals
                         |      goals -> goals ; body


Alternatively you can use constraint handling rules (see lib(ech))


> And also, as far I went thru' the documentation, I saw
> only arithmetic constraints. Is there any means do
> post constraints on Atoms?

There is.  Just look at the first program example in the
documentation of the finite domain library (lib(fd):

[eclipse 5]: colour([A,B,C]), nice_pair(A, B), nice_pair(B, C), A #\=
green.

B = B{[blue, green, red, yellow]}
C = C{[blue, orange, red, yellow]}
A = A{[blue, orange, red, yellow]}
 

	Cheers
		Mark
-- 
_______________________________________________________________
Dr. Mark Wallace, IC-Parc,		Phone  +44 (0)20 7594 8434 
William Penney Laboratory, 		Fax    +44 (0)20 7594 8432
Imperial College, London SW7 2AZ, UK.	Email: mgw@icparc.ic.ac.uk