CLP(FD)

V SWI-Prolog je potrebno naložiti knjižnico z use_module(library(clpfd))
- v CodeQ je knjižnica že naložena
Za CLP(FD) omejitve uporabljamo posebne operatorje
- X #< Y, X #> Y, X #=< Y, X #>= Y, X #= Y, X #\= Y
- X in -5..5
  - X in 2..4 \/ 6..8
- [X, Y, Z] ins -5..5
Predikat all_different([X, Y, Z]) postavi omejitev, da so X, Y in Z paroma različni
Spremenljivke z omejitvami lahko instanciramo
- indomain(X)
- labeling([], [X, Y, Z])
  - prazen seznam kot prvi argument uporabi privzete nastavitve
Naloge
- puzzle_beth/1
  - Beth pravi: „Čez dve leti bom stara dvakrat toliko, kot sem bila pred petimi leti.“ Koliko je stara?
- puzzle_abc/3
  - A je dve leti starejši od B-ja, ki je dvakrat starejši od C-ja. Koliko so stari A, B in C, če je seštevek vseh starosti 27?
- puzzle_momson/2
  - Vsota starosti matere in njenega sina je 66. Starost matere v letih je xy, starost sina pa yx. Koliko sta stara?
- puzzle_ratio/2
  - Razmerje starosti A-ja in B-ja je 5:4. Čez tri leta bo razmerje 11:9. Koliko sta stara?
- magic/1
  - generira magične kvadrate velikosti 3×3
- gcd/3
  - poišče največji skupni delitelj dveh števil
- tobase/3
  - pretvarja med različnimi številskimi sistemi

A.I.lab