Idée: contraintes de congés <=> prolog - Page 1

Suite à ce topic où j'ai fait part d'une idée, je crée un topic pour l'idée en elle même:

Bon sinon, je me suis toujours demandé s'il y avait pas moyen de faire un logiciel de gestion de congé, qui traduirait les contraintes en français pour en faire du PROLOG. Genre on entre les information du style "pas de congé consécutif si on a déjà pris ses jours de fractionnement" (et oui, y a des boites qui veulent des trucs tordus) et ça devient des contraintes logiques dans prolog et le système s'assure de respecter les contraintes. Comme ça le logiciel peut gérer TOUS les cas de gestion de congé possible et imaginable.

Qu'en pensez vous? Y en a qui s'y connaissent en prolog? Je serais ravi d'avoir l'avis des gens qui ont fait du prolog.

Je m'y suis connu, il y a... 10 ans x_x... Il me faudrait trop de temps pour m'y remettre

Je connais tout juste le principe, j'ai l'impression que c'est bien adapté à ce cas.

Le problème est que le Prolog est un langage rarement utilisé en exploitation... on l'utilise en simulation, et après on réimplémente l'idée faite en C ou en Java (je crois qu'il y a même des adaptateurs automatique de code).

./4 assez d'accord. D'autant que faire un code en prolog pour faire un code en prolog, c'est peu utile.
Je dirais que le prolog n'est pas bon pour un logiciel qu'on distribue, sur lequel plusieurs personnes sont susceptibles de coder. Juste parce que c'est un langage trop peu connu (et différent des autres) et qu'on peut tout à fait faire pareil avec un langage plus connu.

Le Prolog est très différent des langages classiques et certaines choses sont beaucoup plus simples à coder dans un langage déclaratif que dans un langage impératif.

Oui ça marche par prédicat, et c'est pour ça que ça me semble adapté. Par exemple l'administrateur dit "pas de congé RTT suivi d'un congé payé, sauf si le compte de RTT est inférieur à 3". Lorsque l'employé lambda utilise le logiciel, le logiciel doit faire des actions de manière à ce que toutes les clauses entrées par l'admin renvoient VRAI. Donc le logiciel va regarder si les congés que l'employé pose ne va pas falsifier "pas de congé RTT suivi d'un congé payé, sauf si le compte de RTT est inférieur à 3".

Evidemment l'administrateur, on va pas le former à prolog, donc l'idée c'est qu'il y ait un traducteur "français" <=> prolog (pas toutes les phrases de la langue française évidemment mais un éditeur qui permet d'entrer des phrases concernant des règles de congé).

Oui mais le problème c'est que là, tu ne peux pas générer très proprement une IHM intégrable à ton environnement de travail, un accès à une base de données pour la saisie des donnes et un service réseau pour l'application client serveur. Donc en fait, la partie Prolog ne servirait qu'à une petite (mais, je te l'accorde, délicate) tâche du processus.
Bien entendu, il y a des pseudo-prédicats pour l'interface graphique (en Turbo Prolog, mais aussi dans d'autres versions, comme le LPA Win-Prolog) et on doit pouvoir utiliser le Prolog pour générer une page Web, mais ça ne répond quand même pas à tous les impératifs.
C'est bien une des limites du Prolog qui fait qu'on teste des comportements dans ce langage très pratique pour tout ce qui est traitements conditionnels et récursifs, mais que les implémentations finales (sauf dans certains domaines de recherche, et encore, quand on passe à la pratique associée à cette recherche, on a les mêmes problématiques) sont en général dans d'autres langages.