CLP(R) . , . , , , .
, , , . . , . . CLP(R) , , , , , , . . . CLP . , , , , CLP.
, , . -. , CLP(R) , .
. 14.3 , , . CLP(R) .
i |
R , 1 2. , , V I ( ). ;V,I), :
resistor((VI,II), (V2,I2), ):-{ II = -12, V1-V2 = I1*R }.
, , 14.3. . , , , : conn! [ Terminal!, Tenrinal2,...])
14.
&)
II