крестики-нолики

database
z(integer,integer,symbol) 
predicates
predicates kartinka 
hod(integer,symbol,symbol) 
blok(symbol,symbol) 
chem(integer,symbol)    
naob(symbol,symbol) 
 
goal 
write("Kto hodit pervym? (1 - chelovek, 0 - kompjuter) "), 
readint(Igrok),write("chem? (1 - krestikami, 0 - nolikami) "), 
readint(N),chem(N,I1),naob(I1,I2),hod(Igrok,I1,I2),!, 
nl,nl; write("Pravila narusheny."),nl. 
 
clauses 
z(1,1,"-"). z(1,2,"-"). z(1,3,"-"). z(2,1,"-"). z(2,2,"-"). 
z(2,3,"-"). z(3,1,"-"). z(3,2,"-"). z(3,3,"-"). 
 
chem(1,x). chem(0,o). naob(x,o). naob(o,x). 
 
hod(0,S,_):- blok(S,S),!,kartinka,write("Kompjuter vyigral!"). 
hod(0,S,C):- blok(S,C),!,kartinka,hod(1,C,S). 
hod(0,S,C):- retract(z(2,2,"-")),!,assert(z(2,2,S)), 
  kartinka,hod(1,C,S). 
hod(0,S,C):- z(R,St,"-"), (R+St) mod 2=0,retract(z(R,St,"-")),!, 
  assert(z(R,St,S)),kartinka,hod(1,C,S). 
hod(0,S,C):- retract(z(R,St,"-")),!,assert(z(R,St,S)), 
  kartinka,hod(1,C,S). 
hod(1,C,S):- z(_,_,"-"),write("Hodi:","ctroka (ot 1 do 3) - "), 
  readint(R),R>0,R<4,write("ctolbec (ot 1 do 3) - "), 
  readint(St),St>0,St<4,retract(z(R,St,"-")),!, 
  assert(z(R,St,C)),hod(0,S,C). 
hod(_,_,_):- not(z(_,_,"-")),nl,write("Nichja!"). 
 
blok(S,C):- z(N1,St,C),z(N2,St,C),N1<>N2, 
  retract(z(N3,St,"-")),!,assert(z(N3,St,S)); 
  z(R,N1,C),z(R,N2,C),N1<>N2,retract(z(R,N3,"-")),!, 
  assert(z(R,N3,S)); 
  z(I,I1,C),I=I1,z(J,J1,C),J=J1,I<>J,z(K,K1,"-"),K=K1, 
  retract(z(K,K1,"-")),!,assert(z(K,K1,S)); 
  z(I,J,C),I+J=4,z(N,K,C),N<>I,N+K=4,z(M,L,"-"),M+L=4, 
  retract(z(M,L,"-")),!,assert(z(M,L,S)). 
 
kartinka:- z(1,1,S1),z(1,2,S2),z(1,3,S3),z(2,1,S4),z(2,2,S5), 
  z(2,3,S6),z(3,1,S7),z(3,2,S8),z(3,3,S9),!, 
  write("Hod kompjutera."),nl,nl, 
  write(S1,S2,S3),nl,write(S4,S5,S6),nl,write(S7,S8,S9),nl,nl.

DATABASE
     z(integer,integer,symbol)
     game(integer,symbol,symbol)
 
PREDICATES
     what(integer,symbol)
     feedback(symbol,symbol)
     going(integer,symbol,symbol)
     block(symbol,symbol)
     attack(symbol,symbol)
     image
     imagedesk
     begin
     startgame(integer,symbol,symbol)
     checkexit(integer,integer,symbol,symbol)
     readin(integer,integer,integer)
     repeat
 
CLAUSES
     repeat :-
          true; repeat.
 
     begin :-
          retractall(z(_,_,_)),
          assert(z(1,1,"-")),
          assert(z(1,2,"-")),
          assert(z(1,3,"-")),
          assert(z(2,1,"-")),
          assert(z(2,2,"-")),
          assert(z(2,3,"-")),
          assert(z(3,1,"-")),
          assert(z(3,2,"-")),
          assert(z(3,3,"-")).
 
     what(1,x).
     what(0,o).
 
     feedback(x,o).
     feedback(o,x).
 
     readin(X,Min,Max) :-
          repeat,
               readint(X),
          X >= Min,
          X <= Max.
 
     going(0,S,_) :-
          block(S,S), !, image, write("\n Компьютер выиграл!").
     going(0,S,C) :-
          block(S,C), !, image, going(1,C,S).
     going(0,S,C) :-
          retract(z(2,2,"-")), !, assert(z(2,2,S)), image, going(1,C,S).
     going(0,S,C) :-
          attack(S,C), !, image, going(1,C,S).
     going(0,S,C) :-
          z(R,St,"-"), (R + St) mod 2 = 0, retract(z(R,St,"-")), !,
          assert(z(R,St,S)), image, going(1,C,S).
     going(0,S,C) :-
          retract(z(R,St,"-")), !, assert(z(R,St,S)), image, going(1,C,S).
     going(1,C,S) :-
          z(_,_,"-"), 
          write("Ваш ход:\nСтрока  (от 1 до 3, 0 - выйти) - "), readin(R,0,3),
          checkexit(R,1,C,S).
     going(_,_,_) :-
          not(z(_,_,"-")), write("\nИгра окончена !").
 
     checkexit(0,Gamer,G1,G2) :-
          assert(game(Gamer,G1,G2)),
          save("xo.sav"),
          retractall(z(_,_,_)),
          retractall(game(_,_,_)),
          write("Игра сохранена!").
     checkexit(R,_,G1,G2) :-
          write("Столбец  (от 1 до 3) - "), readin(St,1,3),
          retract(z(R,St,"-")), !, assert(z(R,St,G1)), going(0,G2,G1).
 
     block(S,C) :-
          z(N1,St,C), z(N2,St,C), N1 <> N2,
          retract(z(N3,St,"-")), !, assert(z(N3,St,S));
          z(R,N1,C), z(R,N2,C), N1 <> N2,
          retract(z(R,N3,"-")), !, assert(z(R,N3,S));
          z(I,I1,C), I = I1, z(J,J1,C), J = J1, I <> J, z(K,K1,"-"), K = K1,
          retract(z(K,K1,"-")), !, assert(z(K,K1,S));
          z(I,J,C), I + J = 4, z(N,K,C), N <> K, N + K = 4, z(M,L,"-"), M + L = 4,
          retract(z(M,L,"-")), !, assert(z(M,L,S)).
     attack(S,C) :-
          z(1,_,C), z(3,_,C), z(2,1,"-"),
          retract(z(2,1,"-")), !, assert(z(2,1,S));
          z(3,3,"-"), z(_,3,C), z(3,_,C),
          retract(z(3,3,"-")), !, assert(z(3,3,S)).
     image :-
          write("\nКомпьютер сделал ход."),
          imagedesk.
     imagedesk :-
          z(1,1,S1), z(1,2,S2), z(1,3,S3),
          z(2,1,S4), z(2,2,S5), z(2,3,S6),
          z(3,1,S7), z(3,2,S8), z(3,3,S9), !,
          writef("\n\n    %    %    %\n    %    %    %\n    %    %    %\n\n",S1,S2,S3,S4,S5,S6,S7,S8,S9).     
     startgame(Gamer,G1,G2) :-
          existfile("xo.sav"),
          consult("xo.sav"),
          game(Gamer,G1,G2),
          retract(game(_,_,_)),
          deletefile("xo.sav"), !.
     startgame(Gamer,G1,G2) :-
          begin,
          write("Кто ходит первым\n"),
          write("(1 - человек, 0 - компьютер)? "), readin(Gamer,0,1),
          write("Чем (1 - х, 0 - о)? "), readin(N,0,1),
          what(N,G1), feedback(G1,G2).
GOAL
     makewindow(2,7,7," Крестики-нолики ",1,1,20,40),
     startgame(Gamer,G1,G2),
     imagedesk,
     going(Gamer,G1,G2), !,
     nl, nl; readchar(_), removewindow.