« Ca ne marchera pas ...

Dark-Side — Mon, 05 Nov 2007 16:16:00 +0100

... Vous savez pourquoi ? Parce que ça nous amuse. Vous trouvez quelque chose pour m’emmerder, je trouve quelque chose pour vous emmerder. C’est un jeu et je vais gagner. J’ai un coup d’avance. Vous êtes déjà emmerdé. »
Edité le 25/12/07
Je crois que je vais faire comme ça désormais, toujours commencer mes articles par une citation sans rapport (ou du moins sans rapport logique apparent).
Bref, je suis là parce que j'avais dis que je vous montrerai une IA en prolog. Donc voilà je vais vous en montrer une.
Pour qu'on soit d'accord tout de suite :

oui le code est sale
oui je m'en fous
non je n'accepterai aucune remarque

Bien. Ceci mis au clair, voici le code :

est_vainqueur(papier, pierre).
est_vainqueur(pierre, ciseaux).
est_vainqueur(ciseaux, papier).

corres(pierre, 1).
corres(papier, 2).
corres(ciseaux, 3).

corresp(perdu, 0).
corresp(nul, 1).
corresp(gagne, 2).

same(X, X).

plus_joue([Papier,Pierre,Ciseaux], X) :- Pierre >= Papier, Pierre >= Ciseaux, same(X, pierre).
plus_joue([Papier,Pierre,Ciseaux], X):- Pierre =< Papier, Papier >= Ciseaux, same(X, papier).
plus_joue([Papier,Pierre,Ciseaux], X) :- Ciseaux >= Papier, Pierre =< Ciseaux, same(X, ciseaux).
 
traiter(perdu, pierre, [Papier, Pierre, Ciseaux], X) :- P is Papier + 1, same(X, [P,Pierre, Ciseaux]).
traiter(perdu, ciseaux, [Papier, Pierre, Ciseaux], X) :- P is Pierre + 1, same(X, [Papier,P, Ciseaux]).
traiter(perdu, papier, [Papier, Pierre, Ciseaux], X) :- C is Ciseaux + 1, same(X, [P,Pierre, C]).
 
traiter(nul, papier, [Papier, Pierre, Ciseaux], X) :- P is Papier + 1, same(X, [P,Pierre, Ciseaux]).
traiter(nul, pierre, [Papier, Pierre, Ciseaux], X) :- P is Pierre + 1, same(X, [Papier,P, Ciseaux]).
traiter(nul, ciseaux, [Papier, Pierre, Ciseaux], X) :- C is Ciseaux + 1, same(X, [P,Pierre, C]).
 
traiter(gagne, ciseaux, [Papier, Pierre, Ciseaux], X) :- P is Papier + 1, same(X, [P,Pierre, Ciseaux]).
traiter(gagne, papier, [Papier, Pierre, Ciseaux], X) :- P is Pierre + 1, same(X, [Papier,P, Ciseaux]).
traiter(gagne, pierre, [Papier, Pierre, Ciseaux], X) :- C is Ciseaux + 1, same(X, [P,Pierre, C]).
 
alea(X) :- random(1,4, X).

stat(Coups, Nb) :- 
	plus_joue(Coups, Adv),
	est_vainqueur(Coup, Adv),
        corres(Coup, Nb).

jouer(Coups, X) :- 
	random(1, 11, Al),
	(Al =:= 1 -> alea(Nb);
	stat(Coups, Nb)),
	write(Nb), nl,
	write('Gagné, nul ou perdu ?'), nl,
	read(Score),
	corresp(S, Score),
	traiter(S, Coup, Coups, X).

boucle(Coups) :-
	jouer(Coups, N_coups),
	write('1 pour rejouer, 0 pour arreter.'), nl,
	read(X),
	X =:= 1,
	boucle(N_coups).
	
init :- boucle([0,0,0]).

Naturellement je vais faire quelques remarque, alors il faut savoir que c'est mon premier code en prolog, c'est pour ça qu'il est sale. Ensuite : ce code est surement optimisable (surtout au niveau des fonctions traiter) mais ce n'est pas important, ce qu'il faut voir c'est que même si ce code est un peu plus long qu'un code OCaml bien optimisé il est quand même bien plus facile à comprendre par un non initié. Et c'est ça l'important !

Voilà, bonne journée !

Même les foetus mentent ...

Dark-Side — Sun, 04 Nov 2007 15:24:00 +0100

Bonjour, bonjour.
Bon avant de commencer : le titre n'a rien à voir avec l'article, mais depuis 3x17 je reve de sortir cette phrase, alors bon ... c'est fait ! :]

Le prolog

Présentation

Le Prolog est un langage de programmation. Sa particularité est d'être un langage de programmation logique, d'où son nom : PROgrammation LOGique. Ce type de programmation se démarque des autres par son absence de notions tels que les fonctions (qu'on retrouve bien entendu, mais c'est pas aussi explicite qu'en impératif ou même en fonctionnel) ou boucles, ...
Par contre on y trouve des idées intéressantes. En effet un programme développé en prolog repose sur un ensembles de clauses, des faits ou des règles.
Il faut savoir que le prolog est très utilisé pour établir des intelligences artificielles, en effet grâce on clauses on va très facilement définir le comportement de notre IA.

Un code en exemple : factoriel

Oui, je sais, j'ai dit que les fonctions n'éxistaient pas. Mais ça ne veut pas dire qu'on ne peut pas en créer, ça veut dire qu'elles sont moins apparentes que d'habitude.
Comment ça je suis tordu ?
Bref voici le code :

fact(0,1). % ceci est un fait
fact(X, Y) :- N is X-1, fact(N, M), Y is X * M. % et ça une règle

Comme vous pouvez le voir la première clause est un fait, c-a-d que pour tout X fact(0, X) renverra X = 1. Ce qui est marrant avec les faits c'est que leur réciproque marche de la même manière, ainsi fact(X, 1) renverra toujours X = 0. Donc avec un unique fait on a déclaré deux clauses.
Un autre truc marrant c'est que si jamais vous demandez à l'interpreteur si la relation fact(0,2) est vrai il va gentillement vous répondre : «No.»
L'autre truc fun c'est que si après on avait écrit fact(0, 2). lorsqu'on aurait demandé fact(0, X). l'interpreteur nous aurait fait la liste de toutes les réponses possibles.

Conclusion

Il est vrai que je n'ai pas fini de vous détailler le code précédent mais je suis pas là pour vour apprendre à coder, juste pour vous faire découvrir.
J'essayerai de vous montrer une belle IA un de ces jours histoire que vous vous rendiez bien compte de l'interet du prolog. En attendant j'espère vous avoir suffisament intéressé pour que vous vous documentiez un peu sur le prolog.
Au revoir.

Liens externes :

:: Le prolog sur wikipedia. (fr)
:: Une bonne introduction pour débuter en prolog. (fr)
:: Un bon tuto. (en)