Pràctica 4: Optimització en SAT

Basat en l’exemple de minColoring.pl, i utilitzant el Makefile, resoleu aquests problemes d’optimització:

Programa Prolog	Entrada(s) del programa
minColoring.pl	minColoringInput1.pl
towers.pl (*)	towersInput1.pl, towersInput_sp2.pl, towersInput_s7.pl
gangsters.pl (*)	gangstersInput1.pl

Podeu baixar-vos tots els fitxers al zip labo4primavera24.zip.

(*) Atenció:

Ha estat corregida, amb data 11/04/2024 13:03h, la següent errada al predicat displaySol dels problemes towers i gangsters. Faltaba el fail al final de la línia comentada que veieu a continuació:

• abans:

  % displaySol(M) :- write(M), nl, nl.
  displaySol(M):- write('    1.......10........20........30........40'), nl,
  

• ara, correcte:

  % displaySol(M) :- write(M), nl, nl, fail.
  displaySol(M):- write('    1.......10........20........30........40'), nl,