[eclipse-users] how to get eclipse and help yourself

Hi William,

I would like to redirect to a site that maybe can be good for you to take a 
look:

http://catb.org/esr/faqs/smart-questions.html

Don't let you carry on by the tittle, I think is not the best, but I suggest 
you have a look.

At http://eclipse.crosscoreop.com/ the same URL where it's the documentation 
there is another link called Download where you can download the eclipse 
environment and install it.

Good look,

Regards,
-_· manou

El Martes, 7 de Noviembre de 2006 19:25, William Heath escribió:
> Thanks!!! Can you give me the full eclipse program to do this example?
>
> On 11/7/06, J. Manuel Velasco <jvelasco_at_guest.uji.es> wrote:
> > Hello William,
> >
> > I am glad to guide you to the eclipse CHR tutorial, but I am a newbie so
> > I don't think I will be able to help you a lot.
> >
> > Somebody explain me  how CHRs work, the right syntax you'll find at the
> > eclipse tutorial that you will find in the following URL:
> >
> > http://www.eclipse-clp.org/
> >
> > Go to the link Documentation, then Eclipse Tutorial Documentation and
> > finally
> > you will see the chapter: Propia and CHR.
> >
> > What a kind man explained to me from swi-prlog list (I don't put his
> > address
> > to respect him) about CHRs and Prolog was that:
> >
> > The thing for you to be aware of is that this code combines basic prolog
> > code
> > with CHR code.
> > Basic prolog code is
> >
> >    s(B,C,D) :- s1, s2, s3.
> >
> > The logical interpretation is that s is true when s1, s2 and s3 are true.
> > The execution is to evaluate the parameters in order.
> >
> > CHR code looks like this:
> >
> > constraint1, constraint2 <=> test | prolog_code, constraint3.
> > constraint1, constraint2 ==> test | prolog_code.
> >
> > The first line says, if constraint1 and constraint2 exist, and test is
> > true,
> > then drop
> > constraint1 and constraint2, evaluate prolog_code, and add
> > constraint3.  The
> > second line
> > says, if constraint1 and constraint2 exist, and test is true, then
> > evaluate
> > prolog_code (and
> > drop nothing).
> >
> > Take care,
> > -_· manou