A.9.4 Non-linear constraints
The CLP(Q,R) system deals only passively with non-linear constraints. They remain in a passive state until certain conditions are satisfied. These conditions, which are called the isolation axioms, are given in table 11.| A = B * C | B or C is ground | A = 5 * C or A = B * 4 |
| A and (B or C) are ground | 20 = 5 * C or 20 = B * 4 | |
| A = B / C | C is ground | A = B / 3 |
| A and B are ground | 4 = 12 / C | |
| X = min(Y,Z) | Y and Z are ground | X = min(4,3) |
| X = max(Y,Z) | Y and Z are ground | X = max(4,3) |
| X = abs(Y) | Y is ground | X = abs(-7) |
| X = pow(Y,Z) | X and Y are ground | 8
= 2 ^ Z |
| X = exp(Y,Z) | X and Z are ground | 8
= Y ^ 3 |
X = Y ^ Z | Y and Z are ground | X = 2 ^ 3 |
| X = sin(Y) | X is ground | 1 = sin(Y) |
| X = cos(Y) | Y is ground | X = sin(1.5707) |
| X = tan(Y) |
Table 11 : CLP(Q,R) isolating axioms