Determinacy Checker
Determinacy Checker:
* Non-determinate: testdining:
transition/3
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: testdining:
transition/3
(clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: testdining:
transition/3
(clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: testdining:
transition/3
(clause 4)
* Indexing cannot distinguish this from clause 5.
* Non-determinate: testdining:
transition/3
(clause 5)
* Indexing cannot distinguish this from clause 6.
* Non-determinate: testdining:
transition/3
(clause 7)
* Indexing cannot distinguish this from clause 8.
* Non-determinate: testdining:
transition/3
(clause 8)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: testdining:
transition/3
(clause 9)
* Indexing cannot distinguish this from clause 10.
* Non-determinate: testdining:
transition/3
(clause 10)
* Indexing cannot distinguish this from clause 11.
* Non-determinate: testdining:
transition/3
(clause 12)
* Indexing cannot distinguish this from clause 13.
* Non-determinate: testdining:
transition/3
(clause 13)
* Indexing cannot distinguish this from clause 14.
* Non-determinate: testdining:
transition/3
(clause 14)
* Indexing cannot distinguish this from clause 15.
* Non-determinate: testdining:
transition/3
(clause 15)
* Indexing cannot distinguish this from clause 16.
* Non-determinate: testdining:
transition/3
(clause 17)
* Indexing cannot distinguish this from clause 18.
* Non-determinate: testdining:
transition/3
(clause 18)
* Indexing cannot distinguish this from clause 19.
* Non-determinate: testdining:
transition/3
(clause 19)
* Indexing cannot distinguish this from clause 20.
* Non-determinate: testdining:
transition/3
(clause 21)
* Indexing cannot distinguish this from clause 22.
* Non-determinate: testdining:
transition/3
(clause 22)
* Indexing cannot distinguish this from clause 23.
* Non-determinate: testdining:
transition/3
(clause 24)
* Indexing cannot distinguish this from clause 25.
* Non-determinate: testdining:
transition/3
(clause 25)
* Indexing cannot distinguish this from clause 26.
* Non-determinate: testdining:
transition/3
(clause 26)
* Indexing cannot distinguish this from clause 27.
* Non-determinate: testdining:
transition/3
(clause 27)
* Indexing cannot distinguish this from clause 28.
* Non-determinate: testdining:
transition/3
(clause 29)
* Indexing cannot distinguish this from clause 30.
* Non-determinate: testdining:
transition/3
(clause 30)
* Indexing cannot distinguish this from clause 31.
* Non-determinate: testdining:
transition/3
(clause 31)
* Indexing cannot distinguish this from clause 32.
* Non-determinate: testdining:
transition/3
(clause 32)
* Indexing cannot distinguish this from clause 33.
* Non-determinate: testdining:
transition/3
(clause 34)
* Indexing cannot distinguish this from clause 35.
* Non-determinate: testdining:
transition/3
(clause 35)
* Indexing cannot distinguish this from clause 36.
* Non-determinate: testdining:
transition/3
(clause 36)
* Indexing cannot distinguish this from clause 37.
* Non-determinate: testdining:
transition/3
(clause 38)
* Indexing cannot distinguish this from clause 39.
* Non-determinate: testdining:
transition/3
(clause 39)
* Indexing cannot distinguish this from clause 40.
* Non-determinate: testdining:
transition/3
(clause 40)
* Indexing cannot distinguish this from clause 41.
* Non-determinate: testdining:
transition/3
(clause 41)
* Indexing cannot distinguish this from clause 42.
* Non-determinate: testdining:
transition/3
(clause 43)
* Indexing cannot distinguish this from clause 44.
* Non-determinate: testdining:
transition/3
(clause 44)
* Indexing cannot distinguish this from clause 45.
* Non-determinate: testdining:
transition/3
(clause 46)
* Indexing cannot distinguish this from clause 47.
* Non-determinate: testdining:
transition/3
(clause 47)
* Indexing cannot distinguish this from clause 48.
* Non-determinate: testdining:
transition/3
(clause 48)
* Indexing cannot distinguish this from clause 49.
* Non-determinate: testdining:
transition/3
(clause 49)
* Indexing cannot distinguish this from clause 50.
* Non-determinate: testdining:
transition/3
(clause 51)
* Indexing cannot distinguish this from clause 52.
* Non-determinate: testdining:
transition/3
(clause 52)
* Indexing cannot distinguish this from clause 53.
* Non-determinate: testdining:
transition/3
(clause 54)
* Indexing cannot distinguish this from clause 55.
* Non-determinate: testdining:
transition/3
(clause 55)
* Indexing cannot distinguish this from clause 56.
* Non-determinate: testdining:
transition/3
(clause 56)
* Indexing cannot distinguish this from clause 57.
* Non-determinate: testdining:
transition/3
(clause 58)
* Indexing cannot distinguish this from clause 59.
* Non-determinate: testdining:
transition/3
(clause 59)
* Indexing cannot distinguish this from clause 60.
* Non-determinate: testdining:
transition/3
(clause 61)
* Indexing cannot distinguish this from clause 62.
* Non-determinate: testdining:
transition/3
(clause 62)
* Indexing cannot distinguish this from clause 63.
* Non-determinate: testdining:
transition/3
(clause 64)
* Indexing cannot distinguish this from clause 65.
* Non-determinate: testdining:
transition/3
(clause 65)
* Indexing cannot distinguish this from clause 66.
* Non-determinate: testdining:
transition/3
(clause 66)
* Indexing cannot distinguish this from clause 67.
* Non-determinate: testdining:
transition/3
(clause 68)
* Indexing cannot distinguish this from clause 69.
* Non-determinate: testdining:
transition/3
(clause 69)
* Indexing cannot distinguish this from clause 70.
* Non-determinate: testdining:
transition/3
(clause 71)
* Indexing cannot distinguish this from clause 72.
* Non-determinate: testdining:
transition/3
(clause 72)
* Indexing cannot distinguish this from clause 73.
* Non-determinate: testdining:
transition/3
(clause 73)
* Indexing cannot distinguish this from clause 74.
* Non-determinate: testdining:
transition/3
(clause 75)
* Indexing cannot distinguish this from clause 76.
* Non-determinate: testdining:
transition/3
(clause 76)
* Indexing cannot distinguish this from clause 77.
* Non-determinate: testdining:
transition/3
(clause 77)
* Indexing cannot distinguish this from clause 78.
* Non-determinate: testdining:
transition/3
(clause 79)
* Indexing cannot distinguish this from clause 80.
* Non-determinate: testdining:
transition/3
(clause 80)
* Indexing cannot distinguish this from clause 81.
* Non-determinate: testdining:
transition/3
(clause 82)
* Indexing cannot distinguish this from clause 83.
* Non-determinate: testdining:
transition/3
(clause 83)
* Indexing cannot distinguish this from clause 84.
* Non-determinate: testdining:
transition/3
(clause 84)
* Indexing cannot distinguish this from clause 85.
* Non-determinate: testdining:
transition/3
(clause 86)
* Indexing cannot distinguish this from clause 87.
* Non-determinate: testdining:
transition/3
(clause 87)
* Indexing cannot distinguish this from clause 88.
* Non-determinate: testdining:
transition/3
(clause 88)
* Indexing cannot distinguish this from clause 89.
* Non-determinate: testdining:
transition/3
(clause 90)
* Indexing cannot distinguish this from clause 91.
* Non-determinate: testdining:
transition/3
(clause 91)
* Indexing cannot distinguish this from clause 92.
* Non-determinate: testdining:
transition/3
(clause 92)
* Indexing cannot distinguish this from clause 93.
* Non-determinate: testdining:
transition/3
(clause 94)
* Indexing cannot distinguish this from clause 95.
* Non-determinate: testdining:
transition/3
(clause 95)
* Indexing cannot distinguish this from clause 96.
* Non-determinate: testdining:
transition/3
(clause 97)
* Indexing cannot distinguish this from clause 98.
* Non-determinate: testdining:
transition/3
(clause 98)
* Indexing cannot distinguish this from clause 99.
* Non-determinate: testdining:
transition/3
(clause 99)
* Indexing cannot distinguish this from clause 100.
* Non-determinate: testdining:
transition/3
(clause 101)
* Indexing cannot distinguish this from clause 102.
* Non-determinate: testdining:
transition/3
(clause 102)
* Indexing cannot distinguish this from clause 103.
* Non-determinate: testdining:
transition/3
(clause 103)
* Indexing cannot distinguish this from clause 104.
* Non-determinate: testdining:
transition/3
(clause 105)
* Indexing cannot distinguish this from clause 106.
* Non-determinate: testdining:
transition/3
(clause 106)
* Indexing cannot distinguish this from clause 107.
* Non-determinate: testdining:
transition/3
(clause 107)
* Indexing cannot distinguish this from clause 108.
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_enter_debugger_upon_error,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_use_timer,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(no_terminal_colors,true)
! warning: predicate user:
file_search_path/2
is multifile.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- multifile user:
file_search_path/2
.
! near the top of this file.
! warning: predicate user:
file_search_path/2
is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic user:
file_search_path/2
.
! near the top of this file.
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_release,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_avl_custom,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_core_only,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_debug_flag,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(plspec_patch_libraries,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_debug_flag,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_release,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_122165,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xml_prob.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(debug) does not exist
! goal: absolute_file_name(probsrc(debug),_120501,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xml_prob.pl')])
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_core_only,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_myheap,false)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(disable_chr,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools_strings) does not exist
! goal: absolute_file_name(probsrc(tools_strings),_101425,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pathes_lib.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_71151,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/error_manager.pl')])