Pràctica 3: Codificació en SAT

Basat en l’exemple de miSudoku.pl i utilitzant el Makefile, completeu (en aquest ordre) els programes Prolog:

Programa Prolog	Entrada(s) del programa
miSudoku.pl	miSudokuInput1.pl , miSudokuInput2.pl
teams.pl	teamsInput1.pl
events.pl	eventsInput1.pl
newBusCompany.pl	newBusCompanyInput1.pl