14.7. , , 14.4,
.
:
labeling! [ff], Vars)
"ff ( "first fail") " ". , , . , , , . , . .
14.8. CLP(FD) N .
N N
"",
, ,
.
( 14.5).
, .
.
.
(Constraint Logic Programming CLP) , , .
CLP . : CLP(R) ; CLP(Q) ; CLP(Z) ; CLP(FD) ; CLP(B) .
CLP , , , .
CLP , , . , . .
CLP , .
CLP , , .
324 II. Prolog
:
;
;
;
;
(Constraint Logic Programming - CLP);,
CLP(R),CLP(Q), CLP(PD);
.