-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathwin_condition.pl
35 lines (33 loc) · 1.8 KB
/
win_condition.pl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
win(X,[X,X,X,X,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_]).
win(X,[_,_,_,_,_,X,X,X,X,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_]).
win(X,[_,_,_,_,_,_,_,_,_,_,X,X,X,X,_,_,_,_,_,_,_,_,_,_,_]).
win(X,[_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,X,X,X,X,_,_,_,_,_,_]).
win(X,[_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,X,X,X,X,_]).
win(X,[_,X,X,X,X,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_]).
win(X,[_,_,_,_,_,_,X,X,X,X,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_]).
win(X,[_,_,_,_,_,_,_,_,_,_,_,X,X,X,X,_,_,_,_,_,_,_,_,_,_]).
win(X,[_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,X,X,X,X,_,_,_,_,_]).
win(X,[_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,X,X,X,X]).
win(X,[X,_,_,_,_,X,_,_,_,_,X,_,_,_,_,X,_,_,_,_,_,_,_,_,_]).
win(X,[_,X,_,_,_,_,X,_,_,_,_,X,_,_,_,_,X,_,_,_,_,_,_,_,_]).
win(X,[_,_,X,_,_,_,_,X,_,_,_,_,X,_,_,_,_,X,_,_,_,_,_,_,_]).
win(X,[_,_,_,X,_,_,_,_,X,_,_,_,_,X,_,_,_,_,X,_,_,_,_,_,_]).
win(X,[_,_,_,_,X,_,_,_,_,X,_,_,_,_,X,_,_,_,_,X,_,_,_,_,_]).
win(X,[_,_,_,_,_,X,_,_,_,_,X,_,_,_,_,X,_,_,_,_,X,_,_,_,_]).
win(X,[_,_,_,_,_,_,X,_,_,_,_,X,_,_,_,_,X,_,_,_,_,X,_,_,_]).
win(X,[_,_,_,_,_,_,_,X,_,_,_,_,X,_,_,_,_,X,_,_,_,_,X,_,_]).
win(X,[_,_,_,_,_,_,_,_,X,_,_,_,_,X,_,_,_,_,X,_,_,_,_,X,_]).
win(X,[_,_,_,_,_,_,_,_,_,X,_,_,_,_,X,_,_,_,_,X,_,_,_,_,X]).
win(X,[_,_,_,_,_,_,_,_,X,_,_,_,X,_,_,_,X,_,_,_,X,_,_,_,_]).
win(X,[_,_,_,_,X,_,_,_,X,_,_,_,X,_,_,_,X,_,_,_,_,_,_,_,_]).
win(X,[_,_,_,X,_,_,_,X,_,_,_,X,_,_,_,X,_,_,_,_,_,_,_,_,_]).
win(X,[_,_,_,_,_,_,_,_,_,X,_,_,_,X,_,_,_,X,_,_,_,X,_,_,_]).
win(X,[X,_,_,_,_,_,X,_,_,_,_,_,X,_,_,_,_,_,X,_,_,_,_,_,_]).
win(X,[_,_,_,_,_,_,X,_,_,_,_,_,X,_,_,_,_,_,X,_,_,_,_,_,X]).
win(X,[_,_,_,_,_,X,_,_,_,_,_,X,_,_,_,_,_,X,_,_,_,_,_,X,_]).
win(X,[_,X,_,_,_,_,_,X,_,_,_,_,_,X,_,_,_,_,_,X,_,_,_,_,_]).
check_win(X, L, Player) :-
win(X, L),
string_concat(Player, " win!\n", Msg),
write(Msg), abort().
check_win(_, _, _).