In general one should avoid using `typeOf/2` constraint with first argument being a logical. The indexing mechanism ensures efficient search of matching rules when at least one argument is a constant value. However, when all arguments are free logicals, *all* matches should be tested, which is highly ineffective. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||