Pràctica 3: Codificació en SAT

Basat en l’exemple miSudoku.pl de la taula següent, i utilitzant aquest Makefile, completeu (en aquest ordre) els tres programes Prolog:

Programa Prolog	Entrada(s) del programa
miSudoku.pl	miSudokuExampleA.pl miSudokuExampleB.pl miSudokuExampleC.pl
roads.pl	roadsExampleA.pl
olympiad.pl	olympiadExampleA.pl
boulevard.pl	boulevardExampleA.pl boulevardExampleB.pl boulevardExampleC.pl boulevardExampleD.pl boulevardExampleE.pl boulevardExampleF.pl

En el fitxer practica3tardor2025.zip teniu tots els fitxers anteriors.

IMPORTANT al LLIURAMENT:

Has de lliurar els TRES fitxers Prolog: roads.pl, olympiad.pl, i boulevard.pl, per separat, sense fer ZIPs o similars.