| T.R | Title | User | Personal
Name | Date | Lines |
|---|
| 224.1 | Scheduling tool? | YIPPEE::JONES | | Mon Sep 03 1990 09:45 | 6 |
| I understand that CHARM is a tool developed by Honeywell (CII) Bull in
the scheduling space; that's about all I know.
Steve
|
| 224.2 | resource allocation applications | EVOAI1::RIPOLL | Stephane RIPOLL, PARIS | Mon Sep 03 1990 18:05 | 30 |
| CHARME has been designed from work done at the E.C.R.C. in Munich
(joint research center of BULL, ICL and SIEMENS), about introducing
the handling of constraints to logic programming.
E.C.R.C. first came up with a product named CHIP (Constraint Handling
In Prolog), that BULL reengineered into a commercial product (written
in C, portable, open, user-interface, etc.).
CHARME deals with resource allocation problems. Programming an
application in CHARME consists in declaring the problem and the
constraints associated with it. The constraint handling engine solves
the problem, by ordering the constraints dynamically (choose most
specific constraints first, propagate, etc.).
CHARME generates C code that can be integrated in complex systems.
Limitations : there is no built-in constraint relaxation mechanism
in CHARME. The ideal solution for a problem has to be looked for
by trial-and-error.
Nervertheless CHARME is a very interesting tool, and BULL is very
agressive in France on the industrial market (Renault for instance).
A good reason to keep on promoting tools for the
resource-alllocation/scheduling/planning paradigms, other than good
old OPS 5 and brainstorming every time on application specificity!
PS. If you are interested, there are papers from AVIGNON 89 & 90
meetings.
|
| 224.3 | Do we have a similar tool? | KETJE::HAENTJENS | Beware of Counterfeit | Tue Sep 04 1990 10:13 | 3 |
| Are there any similar tools on VMS and/or Ultrix?
Ren�.
|
| 224.4 | See Serge Himbault's scheduler | EVOAI1::RIPOLL | Stephane RIPOLL, PARIS | Tue Sep 04 1990 16:58 | 5 |
| There are no commercially available equivalent tool on our platforms
at this time. An interesting one could be, in the near future, the AI
scheduler developed by Serge Himbault (in PROLOG II) by EIC Valbonne.
-- St�phane --
|
| 224.5 | Sorry but not me...... | AIDIVE::HIMBAUT | | Tue Sep 04 1990 18:47 | 9 |
|
Hi Stephane,
I am compelled to decline this offer of fame, much though I would be
honoured to recieve the credit. However I had only a passing involvement on
periphery of the project. Les vrais responsables sont Brigitte Guimbal et
Chris Wild.
Serge (Himbault sans "l")
|
| 224.6 | Rendre � C�sar ce qui est � C�sar! | EVOAI1::RIPOLL | Stephane RIPOLL, PARIS | Tue Sep 04 1990 19:12 | 6 |
| Serge,
Sorry for the mistake, and my apologies to Brigitte and Chris. By
the way, are there any news about Scheduler (customer interest,
status, future plans,...) ?
|
| 224.7 | Article Available | FASDER::MTURNER | Mark Turner * DTN 425-3730 * MEL4 | Tue Sep 04 1990 19:47 | 8 |
| I have a hard-copy article in french by the developers. It's a
pretty comprehensive description of the language. Don't know how
much overlap there is with the conference papers mentioned earlier.
If anyone would like a copy, please mail me at FASDER::MTURNER.
Mark
|
| 224.8 | Prolog III vs. Charme
| GRAPHS::MCGREGOR | | Thu Nov 22 1990 17:23 | 19 |
| Both Charme and Prolog III are intended to address the problem of programming
under constraints.
Charme:
- Runs only on BULL
- No booleans
- Just supports integers
- Produces C Code
Prolog III:
- Runs on lots of platforms, including VMS and UNIX
- Obviously based on Logic programming: Prolog II+
- Supports rational numbers/booleans
- Complete boolean algebra
These are the basic differences: This should help in a competititve situation.
Contact Serge Himbaut for more detail.
George
|