This is an old revision of the document!

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, 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
- puzzle_abc/3
- puzzle_momson/2
- puzzle_ratio/2
- 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