Logic in Computer Science

Lab 1: Creating a SAT solver

How to execute:

sudo apt-get install picosat
make
./scriptPicoSAT.sh

Lab 2: Prolog

Set of several problems with Prolog.

First you have to install swipl:

sudo add-apt-repository ppa:swi-prolog/stable
sudo apt-get update
sudo apt-get install swi-prolog

How to execute

swipl
[name_of_the_program].

Lab3: SAT with Prolog

• Bus
• Events
• Teams

Lab4: Optimization with SAT and Prolog

• Teams
• MinColoring
• Horaris

Lab5 : Advanced Prolog

• TSP
• Tomografia
• Squares
• Monedas
• Cubo