programa2.4.pl

:- dynamic mina/2.
:- dynamic valor/3.
:- dynamic aberta/2.
:- dynamic arquivo_carregado.

:- ['mina'].
:- ['ambiente'].

tamanho(TAM) :- TAM is 3.

posicao(I,J) :-
        arquivo_carregado,
		open('jogo.pl', append, String),
        posicao(I, J, String, L).

posicao(I,J) :-
        open('jogo.pl', write, String),
        assert(arquivo_carregado),
        posicao(I, J, String, L).

posicao(I,J, String, L) :-
								mina(I,J),
								assert(aberta(I,J)),
								swritef(Aux, 'mina(%d,%d).\n', [I, J]),
								write(String, Aux),
								print('BOOOOM!'),
								print(Aux),
								print('Game Over'),
								close(String),
								halt.
posicao(I,J, String, L) :-
								not(aberta(I,J)),
								valor(I,J,K),
								K=0, !,
								swritef(Aux, 'Casa(%d,%d) = %d\n', [I, J, K]),
								write(String, Aux),
								print(Aux),
								assert(aberta(I,J)),
								findall((I1,J1), posicao_adj(I,J, _, I1, J1), L),
								abre_casas(L, String).

posicao(I,J, String,L) :-
							    not(aberta(I,J)),
							    valor(I,J,K), !,
								swritef(Aux, 'Casa(%d,%d) = %d\n', [I,J,K]),
								write(String, Aux),
								assert(aberta(I,J)),
								print(Aux),
								abre_casas(L, String).

posicao_adj(I, J, left, I, J1) :-
						J1 is J - 1,
						J1 > 0,
						not(mina(I,J1)).


posicao_adj(I, J, right, I, J1) :-
						J1 is J + 1,
						tamanho(TAM),
						J1 =< TAM,
						not(mina(I,J1)).


posicao_adj(I, J, bottom, I1, J) :-
						I1 is I + 1,
						tamanho(TAM),
						I1 =< TAM,
						not(mina(I1,J)).


posicao_adj(I, J, top, I1, J) :-
						I1 is I - 1,
						tamanho(TAM),
						I1 > 0,
						not(mina(I1,J)).


posicao_adj(I, J, topright, I1, J1) :-
						I1 is I - 1,
						J1 is J + 1,
						tamanho(TAM),
						J1 =< TAM,
						I1 > 0,
						not(mina(I1,J1)).



posicao_adj(I, J, bottomright, I1, J1) :-
						I1 is I + 1,
						J1 is J + 1,
						tamanho(TAM),
						J1 =< TAM,
						I1 =< TAM,
						not(mina(I1,J1)).


posicao_adj(I, J, topleft, I1, J1) :-
						I1 is I - 1,
						J1 is J - 1,
						J1 > 0,
						I1 > 0,
						not(mina(I1,J1)).


posicao_adj(I, J, bottomleft, I1, J1) :-
						I1 is I + 1,
						J1 is J - 1,
						tamanho(TAM),
						J1 > 0,
						I1 =< TAM,
						not(mina(I1,J1)).

abre_casas([], _).
abre_casas([(I,J)|L], String) :-
						posicao(I,J, String, L).