Pràctica 6: Constraint Logic Programming (CLP)¶
Constraint logic programming (clp). Podeu veure primer el vídeo
de Robert Nieuwenhius sobre CLP (25 minuts).
Veure coins.pl: com
pagar determinada quantitat, usant el mínim nombre de monedes dels
diversos tipus? Solucions: coinsSolManual.pl, i coinsSol.pl.
Mira també clp_Constraints_Backtracking.pl per a
entendre com NO generar els constraints en CLP.
Després resol:
Tomografías: Una matriu que conté zeros i uns es travesada per «raigs X» horitzontalment i verticalment, obtenint el nombre total d’uns a cada fila i columna. El problema és reconstruir el contingut de la matriu a partir d’aquesta informació. Completa el programa Prolog
tomografia.plDaus de lletres: Un «dau de lletres» (de 6 cares) té a cada cara una lletra diferent. Troba quatre daus, amb les 24 lletres abcdefghijklmnoprstuvwxy de manera que pugueu crear un conjunt determinat de paraules. Completa el programa Prolog
letterDice.pl
Referències:
Resum CLP en Prolog, de Robert Nieuwenhuis.Veure també la pàgina de swi-prolog clpfd.