¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤
FIRST CALL FOR 'ZAKKI 1.0'****
¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤¤
Salem,
Than'k's to Walid for here Translation.
I will write a paper (Latex, pdf, and ps) to explain what I want to release (in English and also in Frech and why not arabic). I hope that it will help a lot of people to understand what I want to do. In the paper you wil find the following:
--00- Why this call? Why this project?
--01-- What is Constraint programming.
Theory, practice, famous paper, famous or other available solver in A.I.
--02-- Description of the mains steps to release the project.
-- Lexical and syntaxic description, to relase the syntaxic parser.
-- Steps for the compiler release (to generate code).
--03-- Important dates and planning.
(***) The name is not yet fixed, you can propose an other one.
Wait for my paper the next 15 days inchal'h.
Voilà, c'est tout pour l'instant.
Merci.
Walid Shaari <shaari at arabeyes dot org> wrote:
On Mon, 2003-01-27 at 16:20, Faycal Djerourou wrote:
> Merci A hichem pour sa remarque.
>
> JE TRAVAIL SUR LA PROGRAMATION PAR CONTRAINTES, UNE
> METHODE DE PROGRAMMATION DECLARATIVE ET NON PAS
> IMPERATIVE.
>
> D'HABITUDE LES PROGRAMMEURS ECRIVENT DES CODES EN C
> OU C++ (OU AUTRE) POUR RESOUDRE UN PROBLEME DONNÉ. EN
> D'AUTRE TERME ILS DISENT AU PROCESSEUR CE QU'IL DOIT
> FAIRE POUR ABOUTIR A LA SOLUTION.
>
> EN PROGRAMMATION DECLARTIVE, L'UTILISATEUR ENTRE SON
> PROBLEME COMME DONNEES (BIEN SUR ELLES DOIVENT ETRE
> SOUS UN CERTAIN FORMAT ;-) ) ET C'EST AU SOLVER DE
> TROUVER LA SOLUTION.
>
> C'EST UNE DOMAIN TRES EN VOGUE ACTUELLEMENT EN
> INTELLIGENCE ARTIFICIELLE. L'UTILISATEUR ENTRE SON
> PROBELEM SOUS FORME DE CONTARAINTES ET LE SOLVEUR
> TROUVE LES SOLUTION SATISFAISANT TOUTES CES
> CONTRAINTES.
>
> MON TRAVAIL RESIDE DANS LA PARTIE SOLVEUR.
>
> POUR PLUS D'INFOS N'HESITEZ PAS A ME CONTACTER
>
> CORD
> FAYCAL
Damn that guy is quick :)
I work on Constraints Programming, a method of declarative programming
as opposed to the imperative one . Usually the programmers write
c/c++/other programming languages to solve a given problem. In other
terms they tell the processor WHAT it must do to solve the solution.
But in declarative programming, the user defines the problem in terms of
constraints in a certain format, and the the SOLVER tries to find
the solution ( I guess a solution would be better here). it is new
domain I in artificial intelligence( I guess thats what he is trying to
say).
My work reside in the solver part. for more information do not
hesitate to get in touch with me
FAYCAL
Walid
_______________________________________________
Developer mailing list
Developer at arabeyes dot org
http://lists.arabeyes.org/mailman/listinfo/developer