Determinacy Checker
Determinacy Checker:
! Existence error in user:
exists_source/1
! procedure user:
exists_source/1
does not exist
! goal: user:exists_source(library(logarr))
! 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(no_terminal_colors,true)
! 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_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 argument 1 of absolute_file_name/3
! file probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_70479,[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),_68815,[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_profile,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_src_profile,true)
! 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),_49455,[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'),_19039,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/error_manager.pl')])
* Non-determinate: xtl_interface:
open_xtl_file/1
(clause 1)
* Calls nondet predicate xtl_interface:
debug_println/2
.
* Non-determinate: xtl_interface:
xtl_transition/3
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: xtl_interface:
xtl_transition/3
(clause 1)
* Calls nondet predicate xtl_interface:
start/1
.
* Non-determinate: xtl_interface:
xtl_transition/3
(clause 2)
* Calls nondet predicate xtl_interface:
trans/3
.
* Non-determinate: xtl_interface:
xtl_property/2
(clause 1)
* Calls nondet predicate xtl_interface:
prop/2
.
* Non-determinate: xtl_interface:
xtl_animation_function_result/2
(clause 1)
* Calls nondet predicate xtl_interface:
animation_function_result/2
.
* Non-determinate: xtl_interface:
xtl_animation_image/2
(clause 1)
* Calls nondet predicate xtl_interface:
animation_image/2
.
* Non-determinate: xtl_interface:
xtl_animation_image_click_transition/6
(clause 1)
* Calls nondet predicate xtl_interface:
animation_image_click_transition/6
.
* Non-determinate: xtl_interface:
xtl_animation_image_right_click_transition/3
(clause 1)
* Calls nondet predicate xtl_interface:
animation_image_right_click_transition/3
.
* Non-determinate: xtl_interface:
xtl_heuristic_function_active/0
(clause 1)
* Calls nondet predicate xtl_interface:
heuristic_function_active/0
.
* Non-determinate: xtl_interface:
xtl_heuristic_function_result/2
(clause 1)
* Calls nondet predicate xtl_interface:
heuristic_function_result/2
.
* Non-determinate: xtl_interface:
xtl_game_info/3
(clause 1)
* Calls nondet predicate xtl_interface:
prob_game_info/3
.
* Non-determinate: xtl_interface:
xtl_get_definition_string/2
(clause 1)
* Calls nondet predicate xtl_interface:
prob_pragma_string/2
.
! Existence error in argument 1 of absolute_file_name/3
! file probcspsrc(haskell_csp) does not exist
! goal: absolute_file_name(probcspsrc(haskell_csp),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xtl_interface.pl')])