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é).