predmeti:ppj:clp_fd
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 #\= YX in -5..5[X, Y, Z] ins -5..5
- Predikat
all_different([X, Y, Z])postavi omejitev, da soX,YinZparoma različni - Spremenljivke z omejitvami lahko instanciramo
indomain(X)labeling([], [X, Y, Z])- prazen seznam kot prvi argument uporabi privzete nastavitve
predmeti/ppj/clp_fd.1461580972.txt.gz · Last modified: 2016/04/25 12:42 by timotej
Except where otherwise noted, content on this wiki is licensed under the following license: Public Domain
