Contextualização e explicação do projeto desenvolvido na unidade curricular de Programação Funcional em Lógica.
Grupo 506, 22/01/2022
- João Afonso Martins Domingues Andrade, up201905589@up.pt, Contribuição: 50%
- Sérgio Miguel Rosa Estêvão, up201905680@up.pt, Contribuição: 50%
-
SICStus - Download
-
Código Fonte - Source Code on Git Hub
-
Windows: Abrir o terminal SICTsus.
-
Linux: Podemos executar o programa SICTsus com o comando ../sicstus/bin sendo .. o caminho até o diretório sicstus.
Para conseguirmos corretamente jogar Snort temos primeiro de, consultar o código fonte apresentado no GitHub acima apresentado (ficheiro snort.pl) e de seguida executar a função play.
O SNORT é um jogo de tabuleiro criado por Simon Norton em 1970, tendo o seu nome origem no nome do seu criado (Simon NORTon).
O SNORT é jogado num tabuleiro quadrado dividido em quadrados mais pequenos vazios (estado inicial), tendo este tabuleiro tamanho escolhido pelo utilizador entre 4x4 e 9x9.
Dois jogadores, sendo simbolizados pelos símbolos 'X' e 'O', tomam turnos em que podem colocar uma peça num quadrado que esteja vazio (sendo que não é permitido colocar num quadrado que seja ortogonalmente adjacente a um quadrado já ocupado por uma peça inimiga).
O jogo termina quando já não existem quadrados disponíveis para realizar uma jogada, ganhando aquele que for o último jogador a colocar uma peça.
O estado de jogo durante a execução do programa é representado por uma lista de listas, sendo que o valor de cada quadrado pode ser um dos seguintes:
- ' ' -> um espaço vazio se o quadrado estiver vazio;
- 'X' -> se o quadrado estiver ocupado pelo jogador 1;
- 'O' -> se o quadrado estiver ocupado pelo jogador 2.
O jogador atual, durante a execução do jogo assume os valores 1 ou 2.
- Estado inicial do jogo
- Estado do jogo após algumas jogadas
- Estado final do jogo
- Tabuleiro
A visualização do jogo é realizada através da utilização das seguintes funções:
display_game(+Board)drawBoardBody(+Board,+Length,+Rows)drawRowSepparation(+Length)drawValue(+Board, +Length, +Row)drawRow(+Length)drawBoardTop(+Length)drawCollumIds(+Length,+LengthLeft)
A função principal que trata de todo o display do board é a função display_game que chama as funções drawCollumnIds, drawBoardTop e drawBoardBody.
A função drawCollumnIds é utilizada para desenhar no ecrâ os índices de cada uma das colunas.
A função drawBoardTop é responsável para desenhar no ecrâ o limtite superior do tabuleiro.
Posteriormente é chamada a função drawBoardBody que chama todas as outras funções restantes e é responsável pelo desennho do body do tabuleiro.
A função drawRowSepparation desenha a separação entre rows de forma a tornar o board mais apelativo.
A função drawValue é a função responsável por desenhar no ecrâ os valores correspondentes às peças que estão colocadas em certa posição do tabuleiro.
Por fim a função drawRow desenha a separação principal entre cada uma das linhas do tabuleiro.
- Menus
Ao executarmos a função principal do jogo é nos apresentado o menu inicial que apresenta 4 opções:
- Begin game que mostra o menu de jogo
- Rules que apresenta as regras principais do jogo
- About Us que mostra ao utilizador algumas informações sobre o trabalho e os seus autores
- Exit Game que permite ao utilizador sair do terminal, acabando a execução
Ao escolhermos a opção 1 é nos apresentado o menu de jogo que apresenta 2 opções:
- Player vs Player que permmite ao utilizador jogar contra outro jogador
- Player vs Bot que permite ao utilizador jogar contra um Bot
As páginas Rules e About Us têm apenas a opção de voltar para trás.
O input dos utilizador é devidamente tratado, tanto no input dos utilizador na escolha de opções nos menus como também na escolha de uma jogada.
Se houver erro no input é chamada a função invalidInput que mostra uma mensagem de erro ao utilizador e manda um fail ( que dá trigger ao repeat ), permitindo ao utilizador voltar a tentar.
O input e validação de moves é feito apartir do predicado choose_move(+Board, +Player, +GameMode, -Move) que, por um lado, se o GameMode for 1,"Player Vs Bot", e o Player a jogar é o 2, escolhe aleatóriamente uma jogada válida, por outro, através do predicado getUserMove(+Board, +Player, +Move) pede ao Player moves até um destes ser válido.
A validação de um move é feita através do predicado legal_move(+Board, +Player, +X, +Y), que verifica se a posição em que o Player pretende jogar não está ocupada e se as casas adjacentes a esta (não contando com as diagonais) não têm peças do adversário.
Quando é obtido um move válido, o predicado move(+Board, +Player, +Move, -NewGameState) faz uma jogada.
O predicado move usa o predicado auxiliar replace(+X, +Row, +NewValue, -NewRow) que substitui o valor na posição X de uma Row pelo NewValue.
O predicado valid_moves(+Player, +Board, -ListOfMoves) retorna uma lista de todas as jogadas válidas para o jogador Player no formato [ [X,Y] ]. Este predicado chama um outro, list_valid_moves(+Board, +Player, +X, +Y, +Valids, -ValidMoves), que recursivamente vai verificando todas as posições do Board e acrescentando os moves válidos à list Valids. Todas as posições do Board são precorridas no sentido da esquerda para a direita e em seguida de cima para baixo, através do predicado nextPlay(+Board, +X, +Y, -NewX, -NewY), que retorna a posição seguinte à X, Y. Cada posição é validada com recurso ao predicado legal_move(+Board, +Player, +X, +Y), já referido anteriormente. O loop termina quando for detetada a posição no canto inferior direito do Board através do predicado lastMove(+Board, +X, +Y), sendo a list final associada à variável ValidMoves.
O ciclo principal do Snort executa no predicado game_cycle(+Board, +Player, +GameMode). Até ser detetado um Game Over, este predicado recursivamente vai recolhendo e executando inputs de moves dos dois Players alterandamente. Após cada move executado no Board, este é atualizado, renovado no terminal e o predicado game_cycle é chamado de novo com o Board atualizado e o Player adversário.
Antes de cada jogada é verificado se o Player que irá jogar têm moves possíveis. Isto é realizado através do predicado game_over(+GameState, +Player, -Winner) que, recorrendo ao predicado valid_moves, verifica se o Player ainda têm jogadas possíveis. Se isto não se verificar, considera-se que esse Player perdeu e o adversário ganhou, passado na variável Winner o vencedor do jogo (1 ou 2), quebrando o loop do game_cycle e terminando o jogo. Se o Player ainda tiver jogadas possíveis, Winner é colocado a 0 e o jogo continua.
Este trabalho permitiu-nos de certa forma termos um contacto diferente com a linguagem PROLOG sendo que nos permitiu observar de uma forma mais prática e divertida (na realização de um jogo) as aplicações diferentes que esta linguagem pode ter.
As maiores dificuldades que encontramos foram no tempo reduzido que tivemos para a realização do trabalho, visto que foi feito numa época bastante atarefada, com diversos projetos de outras unidades curriculares.
No entanto, foi nos bastante satisfatório ver o progresso do jogo que desenvolvemos.
Alguns aspetos a melhorar:
- Implementação de um bot melhorado que não realize todas as jogadas random
- Implementação de menus e estados de jogo mais apelativos
- Melhoramentos em geral na estética de jogo
BoardGameGeek
Documentação do SICStus
Aulas de Programação em Lógica