ysimard/TP_IA
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

fix typo

Browse source
This commit is contained in:
Yohan Simard 2021-03-21 11:12:08 +01:00
parent f79dad09fd
commit f039517dad
1 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
tp2/tictactoe.pl
View file

@ -58,14 +58,14 @@ seconde_diag(K, [E | D], [Ligne | M]) :-
possible([X | L], J) :- unifiable(X, J), possible(L, J), !. possible([X | L], J) :- unifiable(X, J), possible(L, J), !.
possible([], _). possible([], _).
unifiable(X, _) :- unifiable(A, _) :-
var(X), var(A),
!. !.
unifiable(_, J) :- unifiable(_, B) :-
var(J), var(B),
!. !.
unifiable(X, J) :- unifiable(A, B) :-
X == J. A = B.
% Vérifie que Ali est un alignement gagnant pour J % Vérifie que Ali est un alignement gagnant pour J
alignement_gagnant(Ali, J) :- alignement_gagnant(Ali, J) :-
@ -157,10 +157,10 @@ testAlignementGagnant :-
C = [o,o,o], C = [o,o,o],
\+ alignement_gagnant(A, o), \+ alignement_gagnant(A, o),
\+ alignement_gagnant(B, o), \+ alignement_gagnant(B, o),
\+ alignement_gagnant(A, _). \+ alignement_gagnant(A, _),
alignement_gagnant(C, o), alignement_gagnant(C, o),
alignement_gagnant(C, J), alignement_gagnant(C, J),
J == o, J == o.
testHeuristique :- testHeuristique :-
LS = [ LS = [