test.pl

Module Information

Module Information

Dynamic Predicates:           unit_test_id/1

86 Lines

1 Predicates

Imported Modules:           terms          zlib

0 Exports

0 specified Imports

Predicates

Predicates:

:/2

:/2

:/2

Determinacy Checker

Determinacy Checker:

! warning: predicate user:(::-)/2 is discontiguous.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- discontiguous user:(::-)/2.
! near the top of this file.
* Non-determinate: user:(::-)/2 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: user:(::-)/2 (clause 2)
* Indexing cannot distinguish this from clause 3.