This repository contains both projects for the Logic Programming course @ FEUP. The first project is meant for us to get familiar with the prolog programming language and the main objective is to develop a board game. The second project is meant for us to understand how to solve constraint problems.
For our first project we developed a replication of the board game Nava. You can consult its rules here.
For the second project we have developed a program that could solve Tricky Triple puzzles.