Determinacy Checker
Determinacy Checker:
* Non-determinate: user:
generate/2
(clause 1)
* This predicate is multifile, and this clause has no cut.
* Non-determinate: user:
generate/2
(clause 2)
* This predicate is multifile, and this clause has no cut.
* Non-determinate: user:
random_pred_mutation/2
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: user:
random_pred_mutation/2
(clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: user:
random_mutation/2
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: user:
random_mutation/2
(clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: user:
random_mutation/2
(clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: user:
swap_type/2
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: user:
swap_type/2
(clause 2)
* Indexing cannot distinguish this from clause 12.
* Non-determinate: user:
swap_type/2
(clause 3)
* Indexing cannot distinguish this from clause 12.
* Non-determinate: user:
swap_type/2
(clause 4)
* Indexing cannot distinguish this from clause 12.
* Non-determinate: user:
swap_type/2
(clause 5)
* Indexing cannot distinguish this from clause 12.
* Non-determinate: user:
swap_type/2
(clause 6)
* Indexing cannot distinguish this from clause 12.
* Non-determinate: user:
swap_type/2
(clause 7)
* Indexing cannot distinguish this from clause 12.
* Non-determinate: user:
swap_type/2
(clause 8)
* Indexing cannot distinguish this from clause 12.
* Non-determinate: user:
swap_type/2
(clause 9)
* Indexing cannot distinguish this from clause 12.
* Non-determinate: user:
swap_type/2
(clause 10)
* Indexing cannot distinguish this from clause 12.
* Non-determinate: user:
swap_type/2
(clause 11)
* Indexing cannot distinguish this from clause 12.