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 programes Prolog:

Programa Prolog	Entrada(s) del programa
miSudoku.pl	miSudokuExampleA.pl miSudokuExampleB.pl miSudokuExampleC.pl
teams.pl	teamsExampleA.pl
events.pl	eventsExampleA.pl
newBusCompany.pl	newBusCompanyExampleA.pl