Ada and constraint programming

Ada and constraint programming

[Jean-Pierre Rosen]

Did anybody do something about constraint programming in Ada?
I tried Google and Adapower, but couldn't find anything.
-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr

Re: Ada and constraint programming

[stephane richard]

Forgive my ignorance :-).  How does one define constraint programming?

I have a paper on my website that talks about such things as fault 
tolerance, forward error recovery...does that fall into the subject?

It's at:  http://www.adaworld.com/pdfs/blocking_actions.pdf

Stephane Richard
"Ada World" webmaster
http://www.adaworld.com



"Jean-Pierre Rosen" <rosen@adalog.fr> wrote in message 
news:looqmc.pf1.ln@skymaster...
> Did anybody do something about constraint programming in Ada?
> I tried Google and Adapower, but couldn't find anything.
> -- 
> ---------------------------------------------------------
>            J-P. Rosen (rosen@adalog.fr)
> Visit Adalog's web site at http://www.adalog.fr 

Re: Ada and constraint programming

[Jean-Pierre Rosen]

stephane richard a écrit :
> Forgive my ignorance :-).  How does one define constraint programming?
To be honnest, I'm not sure of the translation. It should be either 
constraint programming or constraint logic programming ("programmation 
par contrainte" for Richard :-)
It's about solving a problem that must fulfill several constraints.
> 
> I have a paper on my website that talks about such things as fault 
> tolerance, forward error recovery...does that fall into the subject?
No, it's different.
-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr

Re: Ada and constraint programming

[Marius Amado Alves]

Jean-Pierre Rosen wrote:
> ... It should be either 
> constraint programming or constraint logic programming ("programmation 
> par contrainte" for Richard :-)
> It's about solving a problem that must fulfill several constraints.

I'm not a constraint programming expert, but as a dweller in artificial 
intelligence I know that Constraint Logic Programming is a big part of 
constraint programming, and Prolog (programmation en logique) is a big 
part of CLP.

And sometime ago there was a Prolog system written in Ada, maybe in the 
PAL. I examined it for a natural language application, but I ended up 
linking to a different implementation (Sicstus) for 'histerical' reasons.

Mes deux centimes.

Re: Ada and constraint programming

[David Botton]

> And sometime ago there was a Prolog system written in Ada, maybe in the PAL.

There are two prolog related packages in AdaPower.com

Type prolog in the search box.

David Botton

Re: Ada and constraint programming

[Martin Dowie]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 589 bytes --]

Jean-Pierre Rosen wrote:
> stephane richard a �crit :
>> Forgive my ignorance :-).  How does one define constraint
>> programming?
> To be honnest, I'm not sure of the translation. It should be either
> constraint programming or constraint logic programming ("programmation
> par contrainte" for Richard :-)
> It's about solving a problem that must fulfill several constraints.
>>
>> I have a paper on my website that talks about such things as fault
>> tolerance, forward error recovery...does that fall into the subject?
>> No, it's different.

Do you mean "Aspect Programming"?..

Re: Ada and constraint programming

[Jean-Pierre Rosen]

Martin Dowie a écrit :


> Do you mean "Aspect Programming"?..
> 

No. It's more about finding a solution that minimizes
this while not exceeding that, with an upper bound of foo that must
not be more than half of bar...


-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr

Re: Ada and constraint programming

[Florian Weimer]

* Jean-Pierre Rosen:

> No. It's more about finding a solution that minimizes
> this while not exceeding that, with an upper bound of foo that must
> not be more than half of bar...

This is called "linear programming", I think.

Re: Ada and constraint programming

[Florian Weimer]

* Jean-Pierre Rosen:

> No. It's more about finding a solution that minimizes
> this while not exceeding that, with an upper bound of foo that must
> not be more than half of bar...

This is called "linear programming", I think, at least in some special
cases.

Re: Ada and constraint programming

[Ed]

stephane richard wrote:
> How does one define constraint programming?

I know nothing about constraint programming, but 
http://kti.ms.mff.cuni.cz/~bartak/constraints/intro.html gives a quick 
intro to it.

Ed.

Re: Ada and constraint programming

[Alexander E. Kopilovich]

Florian Weimer wrote:

> * Jean-Pierre Rosen:
>
> > No. It's more about finding a solution that minimizes
> > this while not exceeding that, with an upper bound of foo that must
> > not be more than half of bar...
>
> This is called "linear programming", I think, at least in some special
> cases.

Yes, and another branch of that is called "integer programming" or "discrete
programming" (this is about optimization in constrained discrete domains).