UE ELFE - Programmation Logique SWI-Prolog - LIFL

6. collegues( ?Nom1, ?Nom2) Deux employés sont collègues s’ils travaillent dans la même entreprise.
Pour éviter d’avoir deux foi sle même nom, on peut tester la différence d’unification entre deux variables en
utilisant le prédicat \== (utilisez help).
7. plus ancien que( ?Nom1, ?Nom2) On se base sur l’ancienneté dans l’entreprise.
8. plus ancien collegue que( ?Nom1, ?Nom2)
9. gagne plus que( ?Nom1, ?Nom2, ?Salaire) Salaire représentant la différence de salaire entre les deux
employés uniquement si le premier gagne plus que le second.
10. superieur( ?Nom1, ?Nom2) Un employé est le supérieur d’un autre s’il travaille dans la même entreprise,
mais à un échelon strictement supérieur.
11. echelon normal( ?Nom, ?Ech) L’échelon normal d’un employé se calcule comme suit : lorsque l’on arrive
dans l’entreprise on est à l’échelon 1, puis on gagne un échelon tous les quatre ans jusqu’à atteindre l’échelon
5, qu’on ne peut dépasser.
L’opérateur de division entière est // (utilisez help)
12. victime( ?Nom) Un employé est une victime si un de ses collègues ayant moins d’ancienneté que lui est son
supérieur.
13. est exploite( ?Nom) Un employé est exploité s’il a un échelon inférieur à son échelon normal.
14. a plaindre( ?Nom, ?Raison) La variable Raison pourra prendre ses valeurs dans l’ensemble suivant :
{victime, exploite, lesDeux}, sachant qu’un employé est à plaindre s’il est soit une victime, soit exploité,
soit les deux à la fois. (nécessite l’opérateur de négation “\+”).
Exercice 2 : Autre exemple et introduction à la récursivité simple : L’arbre généalogique
On dispose de la généalogie décrite dans l’arbre de la figure 1.
Jean Paule
Luc Cathy Bertand Nancy Francis Corinne Anne Sam
Audrey
Marcelle Henri Annie Tom Sylvie
Marc Jules Aude Thomas
Figure 1: Arbre généalogique utilisé
Nicolas
Q 1 . Le fichier tp1-genealogie-donnees.pl contient les faits permettant de définir cet arbre généalogique
à partir des prédicats :
individu( ?Nom, ?Sexe)
pere( ?Nom1, ?Nom2) , Nom1 est le père de Nom2
mere( ?Nom1, ?Nom2) , Nom1 est la mère de Nom2
Il est disponible depuis le portail de la licence (http://www.fil.univ-lille1.fr/Licence→ S5→ELFE
→ Semainier).
Q 2 . Écrivez les prédicats suivants :
1. parent( ?Nom1, ?Nom2) : Nom1 est le père ou la mère de Nom2.
2. est frere de( ?Nom1, ?Nom2) : Nom1 est le frère de Nom2.
3. est soeur de( ?Nom1, ?Nom2) : Nom1 est la sœur de Nom2.
4. sont frere et soeur( ?Nom1, ?Nom2) .
5. est demi frere de( ?Nom1, ?Nom2) : Nom1 est le demi-frère de Nom2.
6. est demi soeur de( ?Nom1, ?Nom2) : Nom1 est le demi-frère de Nom2.
7. sont cousins( ?Nom1, ?Nom2) : Nom1 est Nom2 sont cousin(e)s, càd deux de leurs parents sont frère ou
sœur.
Q 3 . En utilisant la récursivité, écrivez les prédicats suivants :
1. ancetre( ?Nom1, ?Nom2) :Nom1 est ancêtre de Nom2.
2. descendant( ?Nom1, ?Nom2) :Nom1 est un descendant de Nom2.
3. sont apparentes( ?Nom1, ?Nom2) . Deux individus sont apparentés s’ils ont au moins un ancêtre commun.