* Ada and constraint programming
@ 2004-11-09 15:46 Jean-Pierre Rosen
2004-11-09 17:10 ` stephane richard
0 siblings, 1 reply; 11+ messages in thread
From: Jean-Pierre Rosen @ 2004-11-09 15:46 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: Ada and constraint programming
2004-11-09 15:46 Ada and constraint programming Jean-Pierre Rosen
@ 2004-11-09 17:10 ` stephane richard
2004-11-10 9:11 ` Jean-Pierre Rosen
2004-11-10 21:57 ` Ed
0 siblings, 2 replies; 11+ messages in thread
From: stephane richard @ 2004-11-09 17:10 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: Ada and constraint programming
2004-11-09 17:10 ` stephane richard
@ 2004-11-10 9:11 ` Jean-Pierre Rosen
2004-11-10 10:49 ` Marius Amado Alves
2004-11-10 15:27 ` Martin Dowie
2004-11-10 21:57 ` Ed
1 sibling, 2 replies; 11+ messages in thread
From: Jean-Pierre Rosen @ 2004-11-10 9:11 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: Ada and constraint programming
2004-11-10 9:11 ` Jean-Pierre Rosen
@ 2004-11-10 10:49 ` Marius Amado Alves
2004-11-10 15:00 ` David Botton
2004-11-10 15:27 ` Martin Dowie
1 sibling, 1 reply; 11+ messages in thread
From: Marius Amado Alves @ 2004-11-10 10:49 UTC (permalink / raw)
To: comp.lang.ada
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.
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: Ada and constraint programming
2004-11-10 9:11 ` Jean-Pierre Rosen
2004-11-10 10:49 ` Marius Amado Alves
@ 2004-11-10 15:27 ` Martin Dowie
2004-11-10 17:58 ` Jean-Pierre Rosen
1 sibling, 1 reply; 11+ messages in thread
From: Martin Dowie @ 2004-11-10 15:27 UTC (permalink / raw)
[-- 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"?..
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: Ada and constraint programming
2004-11-10 15:27 ` Martin Dowie
@ 2004-11-10 17:58 ` Jean-Pierre Rosen
2004-11-10 19:05 ` Florian Weimer
2004-11-10 19:06 ` Florian Weimer
0 siblings, 2 replies; 11+ messages in thread
From: Jean-Pierre Rosen @ 2004-11-10 17:58 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: Ada and constraint programming
2004-11-10 17:58 ` Jean-Pierre Rosen
@ 2004-11-10 19:05 ` Florian Weimer
2004-11-10 19:06 ` Florian Weimer
1 sibling, 0 replies; 11+ messages in thread
From: Florian Weimer @ 2004-11-10 19:05 UTC (permalink / raw)
* 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.
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: Ada and constraint programming
2004-11-10 17:58 ` Jean-Pierre Rosen
2004-11-10 19:05 ` Florian Weimer
@ 2004-11-10 19:06 ` Florian Weimer
2004-11-11 0:54 ` Alexander E. Kopilovich
1 sibling, 1 reply; 11+ messages in thread
From: Florian Weimer @ 2004-11-10 19:06 UTC (permalink / raw)
* 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.
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: Ada and constraint programming
2004-11-10 19:06 ` Florian Weimer
@ 2004-11-11 0:54 ` Alexander E. Kopilovich
0 siblings, 0 replies; 11+ messages in thread
From: Alexander E. Kopilovich @ 2004-11-11 0:54 UTC (permalink / raw)
To: comp.lang.ada
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).
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: Ada and constraint programming
2004-11-09 17:10 ` stephane richard
2004-11-10 9:11 ` Jean-Pierre Rosen
@ 2004-11-10 21:57 ` Ed
1 sibling, 0 replies; 11+ messages in thread
From: Ed @ 2004-11-10 21:57 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 11+ messages in thread
end of thread, other threads:[~2004-11-11 0:54 UTC | newest]
Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-11-09 15:46 Ada and constraint programming Jean-Pierre Rosen
2004-11-09 17:10 ` stephane richard
2004-11-10 9:11 ` Jean-Pierre Rosen
2004-11-10 10:49 ` Marius Amado Alves
2004-11-10 15:00 ` David Botton
2004-11-10 15:27 ` Martin Dowie
2004-11-10 17:58 ` Jean-Pierre Rosen
2004-11-10 19:05 ` Florian Weimer
2004-11-10 19:06 ` Florian Weimer
2004-11-11 0:54 ` Alexander E. Kopilovich
2004-11-10 21:57 ` Ed
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox