My public programs and models - mostly combinatorial problems and puzzles

Constraint Logic Programming over Integers

🔺 University Subject - Logic Programming (Programação em Lógica) - LYNGK board game Constraint Satisfaction Problem

A fun reversi derivative board game

Project developed for 'Logic Programming', a third year subject @FEUP. Made in collaboration with @AndreFCruz.

Meeting scheduler for groups of people in mobilities at different places. It includes the analysis of flights and lodging prices to return the better date and place for everyone to travel together.

Projects developed for Logic Programming class.

Code and projects developed in the PLOG subject throughout the semester (MIEIC 3rd year, 1st semester).

Grail 2 theorem prover in SICStus Prolog with TclTk user interface

A lightweight approach for implementing constructive disjunction in Prolog

♟️ Snort game

Electronic Tutoring System (ETS)