In [10]:
ls -larth prolog.zip
zipinfo prolog.zip
In [11]:
unzip prolog.zip
In [12]:
ls prolog/
In [40]:
cd prolog/
Allons construire prolog :
In [41]:
/usr/bin/make clean
/usr/bin/make
rm -f *.cm[iox] *.annot
Le binaire prolog ainsi construit est un exécutable OCaml. (pas natif, mais peu importe)
In [42]:
cd ..
ls prolog/prolog
file prolog/prolog
Je vous ai aussi envoyé exemples.zip :
In [23]:
ls -larth exemples.zip
zipinfo exemples.zip
In [24]:
unzip exemples.zip
In [25]:
ls -larth exemples/*.pl
Par exemple :
In [27]:
cat exemples/lapin.pl
In [43]:
cd prolog
In [44]:
cat pair.pl
J'ai modifié le programme prolog pour qu'il accepte une requête comme dernier argument après le fichier :
In [67]:
./prolog pair.pl "pair(o)." # une valuation vide : c'est axiomatiquement vrai !
In [68]:
./prolog pair.pl "pair(s(o))." # aucune valuation : c'est faux !
In [71]:
./prolog pair.pl "pair(s(s(o)))." # une valuation vide : c'est vrai !
In [72]:
./prolog nat.pl "infEq(s(s(o)), s(s(s(o))))." # 2 <= 3 ? oui
In [73]:
./prolog nat.pl "infEq(s(s(s(s(o)))), s(s(s(o))))." # 4 <= 3 ? non
In [81]:
./prolog nat.pl "plus(o,s(o),s(o))." # 0+1 = 1 ? Oui
In [79]:
./prolog nat.pl "plus(s(o),s(o),s(s(o)))." # 1+1 = 2 ? Oui
In [80]:
./prolog nat.pl "plus(s(o),o,s(s(o)))." # 1+1 = 1 ? Non
In [82]:
cat pair.pl
In [83]:
echo "impair(s(o))." > impair.pl
echo "impair(s(s(X))) <-- impair(X)." >> impair
In [84]:
./prolog impair.pl "impair(o)." # faux
./prolog impair.pl "impair(s(o))." # vrai
./prolog impair.pl "impair(s(s(o)))." # faux
In [172]:
rm -vf famille.pl
In [173]:
echo "parent(cyrill, renaud)." >> famille.pl
echo "parent(cyrill, claire)." >> famille.pl
echo "parent(renaud, clovis)." >> famille.pl
echo "parent(valentin, olivier)." >> famille.pl
echo "parent(claire, olivier)." >> famille.pl
echo "parent(renaud, claudia)." >> famille.pl
echo "parent(claire, gaelle)." >> famille.pl
In [174]:
./prolog famille.pl "parent(cyrill, renaud)." # vrai
./prolog famille.pl "parent(claire, renaud)." # faux
In [175]:
./prolog famille.pl "parent(X, renaud)." # cyrill
./prolog famille.pl "parent(X, gaelle)." # claire
./prolog famille.pl "parent(X, olivier)." # claire, valentin
./prolog famille.pl "parent(renaud, X)." # clovis, claudia
./prolog famille.pl "parent(gaelle, X)." # {}
./prolog famille.pl "parent(olivier, X)." # {}
On définit les frères et sœurs comme ayant un parent en commun, et les cousin-es comme ayant un grand-parent en commun :
In [176]:
echo "freresoeur(X,Y) <-- parent(Z,X), parent(Z,Y)." >> famille.pl
echo "grandparent(X,Y) <-- parent(X,Z), parent(Z,Y)." >> famille.pl
echo "cousin(X,Y) <-- grandparent(Z,X), grandparent(Z,Y)." >> famille.pl
In [177]:
./prolog famille.pl "freresoeur(cyrill, claire)." # faux
./prolog famille.pl "freresoeur(renaud, claire)." # vrai
./prolog famille.pl "freresoeur(claire, claire)." # vrai
./prolog famille.pl "grandparent(X,olivier)." # cyrill
./prolog famille.pl "grandparent(X,gaelle)." # cyrill
A vous de trouver une définition récursive de ce prédicat ancetre qui fonctionne comme on le souhaite.
In [178]:
#echo "ancetre(X,Y) <-- ancetre(X,Z), grandparent(Z,Y)." >> famille.pl
echo "ancetre(X,Y) <-- parent(X,Y)." >> famille.pl
echo "ancetre(X,Y) <-- grandparent(X,Y)." >> famille.pl
#echo "ancetre(X,X)." >> famille.pl
On peut vérifier tous les axiomes et règles qu'on a ajouté :
In [179]:
cat famille.pl
Questions :
In [180]:
./prolog famille.pl "parent(X,olivier)."
./prolog famille.pl "grandparent(X,olivier)."
In [181]:
./prolog famille.pl "ancetre(X,olivier)."
In [182]:
./prolog famille.pl "ancetre(olivier,X),ancetre(renaud,X)."
In [183]:
./prolog famille.pl "ancetre(X,olivier),ancetre(X,renaud)."
In [149]:
./prolog famille.pl "freresoeur(gaelle,claudia)." # faux
./prolog famille.pl "cousin(gaelle,claudia)." # vrai
In [147]:
./prolog famille.pl "freresoeur(X,clovis)."
./prolog famille.pl "cousin(X,clovis)."
In [3]:
cd exemples
In [2]:
cat listes.pl
On vérifie que l'on sait tester si des listes sont bien des listes :
In [4]:
../prolog/prolog listes.pl "liste(nil)." # vrai
../prolog/prolog listes.pl "liste(cons(toto, nil))." # vrai
../prolog/prolog listes.pl "liste(pasliste)." # faux
../prolog/prolog listes.pl "liste(cons(zorro, pasliste))." # faux
Maintenant on vérifie qu'on peut accéder au dernier et avant-dernier élément d'une liste :
In [8]:
../prolog/prolog listes.pl "dernier(X, nil)." # {} aucune solution !
../prolog/prolog listes.pl "dernier(X, cons(toto, nil))." # X = toto
../prolog/prolog listes.pl "avant_dernier(X, cons(zorro, cons(toto, nil)))." # X = toto
../prolog/prolog listes.pl "avant_dernier(X, cons(titeuf, cons(zorro, cons(toto, nil))))." # X = zorro
On peut calculer la taille d'une liste (en unaire) :
In [9]:
../prolog/prolog listes.pl "taille(K, nil)." # K = o
../prolog/prolog listes.pl "taille(K, cons(toto, nil))." # K = s(o)
../prolog/prolog listes.pl "taille(K, cons(zorro, cons(toto, nil)))." # K = s(s(o))
../prolog/prolog listes.pl "taille(K, cons(titeuf, cons(zorro, cons(toto, nil))))." # K = s(s(s(o)))
On peut accéder au $k$-ième élément aussi :
In [10]:
../prolog/prolog listes.pl "element_numero(X, o, nil)." # {} erreur
../prolog/prolog listes.pl "element_numero(X, o, cons(toto, nil))." # X = toto
../prolog/prolog listes.pl "element_numero(X, s(o), cons(zorro, cons(toto, nil)))." # X = toto
../prolog/prolog listes.pl "element_numero(X, o, cons(titeuf, cons(zorro, cons(toto, nil))))." # X = titeuf
On peut accéder au troisième élément d'une liste (s'il existe). Ici la liste est $[1, 2, 3, 4]$ donc le troisième élément (d'indice $2 = s(s(0))$) est $3$ :
In [11]:
../prolog/prolog listes.pl "element_numero(X, s(s(o)), cons(un, cons(deux, cons(trois, cons(quatre, nil)))))." # X = titeuf
Enfin, on peut facilement dupliquer les éléments d'une liste :
In [12]:
../prolog/prolog listes.pl "dupliquer(X, cons(a, cons(b, cons(c, nil))))." # X = [a, a, b, b, c, c]
Cet exercice serait plus simple si on s'autoriser à utiliser la syntaxe de GNU Prolog pour les listes, mais malheureusement on ne l'a pas implémenté dans notre mini prolog.
On va devoir écrire les concaténations de listes avec un prédicat, un peu comme au dessus. On utiliser $p(a,b)$ pour les paires, et $c(a,u)$ pour la concaténation.
In [2]:
cd exemples
In [ ]:
[ -f dominos.pl ] && rm -vf dominos.pl
In [5]:
echo "est_liste(nil)." >> dominos.pl
echo "est_liste(c(X, L)) <-- est_liste(L)." >> dominos.pl
echo "est_paire(p(A, B))." >> dominos.pl
Pour l'enchaînement de dominos, ce n'est pas trop difficile : $[(a,b); (c,d); ...]$ s'enchaîne bien si $b = c$ et si la suite s'enchaîne bien (définition récursive). Les cas de bases sont vrais pour la liste vide et un singleton.
In [ ]:
echo "enchainement(nil)." >> dominos.pl
echo "enchainement(c(p(A, B), nil))." >> dominos.pl
echo "enchainement(c(p(Z, X), c(p(X, Y), Q))) <-- enchainement(c(p(X, Y), Q))." >> dominos.pl
In [11]:
../prolog/prolog dominos.pl "enchainement(nil)." # vrai
../prolog/prolog dominos.pl "enchainement(c(p(a, b), nil))." # vrai
../prolog/prolog dominos.pl "enchainement(c(p(a, b), c(p(a, b), nil)))." # faux
../prolog/prolog dominos.pl "enchainement(c(p(b, a), c(p(a, b), nil)))." # vrai : b-a a-b s'enchaine bien
Maintenant l'insertion, qui teste si l2 peut s'obtenir par une insertion de x quelque part dans l1 (et pas uniquement en tête ou en queue de l1).
In [12]:
echo "insere(X, L, c(X, L))." >> dominos.pl
echo "insere(X, c(T, Q1), c(T, Q2)) <-- insere(X, Q1, Q2)." >> dominos.pl
On a évidemment $n+1$ possibilités pour insérer a si l1 est de taille $n$ :
In [23]:
../prolog/prolog dominos.pl "insere(a, c(b, c(d, nil)), L2)." # 2+1 possibilités
Pour les permutations, ce n'est pas tellement différent. On teste si $L$ peut être obtenue par permutation depuis $T :: Q$ en testant si $Q$ est obtenue par permutation d'une certaine liste $L_2$ et si $T$ peut être inséré dans $L_2$ pour donner $L$.
In [37]:
echo "perm(nil, nil)." >> dominos.pl
echo "perm(L, c(T, Q)) <-- insere(T, L2, L), perm(L2, Q)." >> dominos.pl
In [39]:
../prolog/prolog dominos.pl "perm(c(a,c(b,nil)), X)." # [a;b] et [b;a]
In [46]:
../prolog/prolog dominos.pl "perm(c(a,c(b,c(d,nil))), X)." # 6 = 3! possibilités, toutes montrées
Pour les permutations de $[a;b;c;d]$, on devrait trouver $24=4!$ possibilités :
In [49]:
../prolog/prolog dominos.pl "perm(c(u,c(v,c(w,c(x,nil)))), X)." # 24 = 4! possibilités, pas toutes montrées ?!
Pour les arrangements, c'est similaire mais on considère aussi la possibilité d'inverser un domino (i.e., $(a,b) \mapsto (b,a)$) :
In [57]:
echo "miroir(p(A, B), p(B, A))." >> dominos.pl
In [90]:
../prolog/prolog dominos.pl "miroir(p(u,v), X)." # X = p(v,u)
In [91]:
echo "arrangement(nil, nil)." >> dominos.pl
echo "arrangement(L, c(T,Q)) <-- insere(T, L2, L), arrangement(L2, Q)." >> dominos.pl
echo "arrangement(L, c(T,Q)) <-- miroir(T2, T), insere(T2, L2, L), arrangement(L2, Q)." >> dominos.pl
Les arrangements de petites listes ne donne pas grand chose :
In [92]:
../prolog/prolog dominos.pl "arrangement(nil, L)." # L = nil
../prolog/prolog dominos.pl "arrangement(c(a,nil)), L)." # rien
In [93]:
../prolog/prolog dominos.pl "arrangement(c(a,c(b,nil)), X)." # X = [a;b] ou [b;a]
Mais avec trois éléments ou plus :
In [94]:
../prolog/prolog dominos.pl "arrangement(c(a,c(b,c(d,nil))), X)." # 6 réponses
In [96]:
# X = [(u,v);(w,u)] ou [(w,u);(u,v)] avec 0 miroir
# ou X = [(v,u);(w,u)] ou [(w,u);(v,u)] avec 1 miroir sur (u,v)
# ou X = [(u,v);(u,w)] ou [(u,w);(u,v)] avec 1 miroir sur (w,u)
# ou X = [(v,u);(u,w)] ou [(u,w);(v,u)] avec 2 miroirs
../prolog/prolog dominos.pl "arrangement(c(p(u,v),c(p(w,u),nil)), X)."
Maintenant on peut résoudre le problème, avec $u,v,w,x = 1,2,3,4$.
In [67]:
echo "quasisolution(L1, L2) <-- perm(L1, L2), enchainement(L2)." >> dominos.pl
echo "solution(L1, L2) <-- arrangement(L1, L2), enchainement(L2)." >> dominos.pl
On peut ordonner $[(1,2); (3,1); (2,4)]$ en $[(3,1); (1,2); (2,4)]$ si on ignore les miroirs :
In [102]:
../prolog/prolog dominos.pl "quasisolution(c(p(un,deux),c(p(trois,un),c(p(deux,quatre),nil))), L)."
On peut ordonner $[(1,2); (3,1); (2,4)]$ en $[(3,1); (1,2); (2,4)]$ mais aussi en $[(4,2); (2,1); (1,3)]$ car on a le droit de tourner les dominos !
In [101]:
../prolog/prolog dominos.pl "solution(c(p(un,deux),c(p(trois,un),c(p(deux,quatre),nil))), L)."
In [3]:
cat domino.pl
Il faut la comparer à notre solution, un peu plus verbeuse à cause de l'absence de syntaxe spécifique aux listes et aux paires, mais qui encode la même logique.
In [103]:
cat dominos.pl
Fin. C'était le dernier TP.