Determinacy Checker
Determinacy Checker:
! 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)
! 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),_74549,[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),_72885,[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),_53809,[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'),_23535,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/error_manager.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file covsrc(coverage_tools_annotations) does not exist
! goal: absolute_file_name(covsrc(coverage_tools_annotations),_108079,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_waitflags.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('random_permutations/random_permutations') does not exist
! goal: absolute_file_name(extension('random_permutations/random_permutations'),_108079,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/fd_utils_clpfd.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(clpfd_interface) does not exist
! goal: absolute_file_name(probsrc(clpfd_interface),_112921,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/typing_tools.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_108079,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_freetypes.pl')])
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools_lists) does not exist
! goal: absolute_file_name(probsrc(tools_lists),_133223,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_tools.pl')])
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_debug_watch_flag,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_waitflags) does not exist
! goal: absolute_file_name(probsrc(kernel_waitflags),_135367,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/runtime_profiler.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools) does not exist
! goal: absolute_file_name(probsrc(tools),_148459,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_records.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file prob_rewrite_rules(b_ast_cleanup_rewrite_rules) does not exist
! goal: absolute_file_name(prob_rewrite_rules(b_ast_cleanup_rewrite_rules),_148171,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_ast_cleanup.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_191537,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pragmas.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_192917,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_static_checks.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(b_state_model_check) does not exist
! goal: absolute_file_name(probsrc(b_state_model_check),_193539,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_read_write_info.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'),_205793,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/state_space.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extrasrc(external_functions_reals) does not exist
! goal: absolute_file_name(extrasrc(external_functions_reals),_205029,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/external_functions.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extrasrc(external_functions_svg) does not exist
! goal: absolute_file_name(extrasrc(external_functions_svg),_205029,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/external_functions.pl')])
! Existence error in user:
check_arithmetic_function/1
! procedure user:
check_arithmetic_function/1
does not exist
! goal: user:check_arithmetic_function(log(2,4))
! Existence error in argument 1 of absolute_file_name/3
! file chrsrc(chr_integer_inequality) does not exist
! goal: absolute_file_name(chrsrc(chr_integer_inequality),_206325,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/clpfd_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(preferences) does not exist
! goal: absolute_file_name(probsrc(preferences),_205651,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_z.pl')])
! Existence error in user:
exists_source/1
! procedure user:
exists_source/1
does not exist
! goal: user:exists_source(library(atts))
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools_strings) does not exist
! goal: absolute_file_name(probsrc(tools_strings),_206645,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_strings.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_freetypes) does not exist
! goal: absolute_file_name(probsrc(kernel_freetypes),_200383,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/external_functions.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_191537,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_static_checks.pl')])
! Existence error in user:
exists_source/1
! procedure user:
exists_source/1
does not exist
! goal: user:exists_source(library(logarr))
! Existence error in argument 1 of absolute_file_name/3
! file probcspsrc(haskell_csp) does not exist
! goal: absolute_file_name(probcspsrc(haskell_csp),_194111,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xtl_interface.pl')])
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bsyntaxtree) does not exist
! goal: absolute_file_name(probsrc(bsyntaxtree),_188403,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_eventb.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('probhash/probhash') does not exist
! goal: absolute_file_name(extension('probhash/probhash'),_188115,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_machine_hierarchy.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file kodkodsrc(kodkod) does not exist
! goal: absolute_file_name(kodkodsrc(kodkod),_157717,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_151313,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/parsercall.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bmachine_eventb) does not exist
! goal: absolute_file_name(probsrc(bmachine_eventb),_141345,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/btypechecker.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(closures) does not exist
! goal: absolute_file_name(probsrc(closures),_141345,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/memoization.pl')])
! 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(prob_debug_watch_flag,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_reals) does not exist
! goal: absolute_file_name(probsrc(kernel_reals),_170635,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_interpreter_check.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(clpfd_interface) does not exist
! goal: absolute_file_name(probsrc(clpfd_interface),_164941,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_equality.pl')])
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(no_wd_checking,true)
! Existence error in user:
exists_source/1
! procedure user:
exists_source/1
does not exist
! goal: user:exists_source(library(atts))
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(avl_tools) does not exist
! goal: absolute_file_name(probsrc(avl_tools),_148029,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bsets_clp.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_waitflags) does not exist
! goal: absolute_file_name(probsrc(kernel_waitflags),_133223,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/delay.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(custom_explicit_sets) does not exist
! goal: absolute_file_name(probsrc(custom_explicit_sets),_133223,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_compiler.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_safe_mode,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(no_wd_checking,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_data_validation_mode,xxxtrue)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_data_validation_mode,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bsyntaxtree) does not exist
! goal: absolute_file_name(probsrc(bsyntaxtree),_108079,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/custom_explicit_sets.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'),_108509,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_reals.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'),_82367,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_objects.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file kodkodsrc(kodkod) does not exist
! goal: absolute_file_name(kodkodsrc(kodkod),_75967,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_interpreter.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'),_76113,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/succeed_max.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('probhash/probhash') does not exist
! goal: absolute_file_name(extension('probhash/probhash'),_76113,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/value_persistance.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(btypechecker) does not exist
! goal: absolute_file_name(probsrc(btypechecker),_63887,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/specfile.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(gensym) does not exist
! goal: absolute_file_name(probsrc(gensym),_43851,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/translate.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(custom_explicit_sets) does not exist
! goal: absolute_file_name(probsrc(custom_explicit_sets),_14869,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bsyntaxtree.pl')])
* Non-determinate: b_global_sets:
is_b_global_constant/3
(clause 1)
* Calls nondet predicate b_global_sets:
b_global_constant/3
.
* Non-determinate: b_global_sets:
is_unused_b_global_constant/2
(clause 1)
* Calls nondet predicate b_global_sets:
between/3
.
* Non-determinate: b_global_sets:
is_used_b_global_constant/3
(clause 1)
* Calls nondet predicate b_global_sets:
used_b_global_constant/3
.
! warning: predicate b_global_sets:
b_global_constant_hash/4
is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic b_global_sets:
b_global_constant_hash/4
.
! near the top of this file.
* Non-determinate: b_global_sets:
b_global_set/1
(clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: b_global_sets:
b_check_and_precompile_enumerated_sets/0
(clause 2)
* Calls nondet predicate b_global_sets:
debug_nl/1
.
* Non-determinate: b_global_sets:
b_check_and_precompile_deferred_sets/0
(clause 3)
* Calls nondet predicate b_global_sets:
debug_nl/1
.
* Non-determinate: b_global_sets:
enumerated_sets_precompiled/0
(clause 1)
* Calls nondet predicate b_global_sets:
precompilation_phase/1
.
* Non-determinate: b_global_sets:
deferred_sets_precompiled/0
(clause 1)
* Calls nondet predicate b_global_sets:
precompilation_phase/1
.
* Non-determinate: b_global_sets:
precompile_global_set/1
(clause 1)
* Calls nondet predicate b_global_sets:
debug_print/2
.
* Non-determinate: b_global_sets:
b_check_and_precompile_global_set_symmetry/0
(clause 2)
* Calls nondet predicate b_global_sets:
debug_println/2
.
! warning: predicate b_global_sets:
global_set_user_defined_scope/2
is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic b_global_sets:
global_set_user_defined_scope/2
.
! near the top of this file.
* Non-determinate: b_global_sets:
inline_prob_deferred_set_elements_into_bexpr/2
(clause 1)
* Calls nondet predicate b_global_sets:
debug_println/2
.
* Non-determinate: b_global_sets:
prob_deferred_set_element/4
(clause 1)
* Calls nondet predicate b_global_sets:
debug_format/3
.
! warning: predicate b_global_sets:
b_supplementary_global_set/1
is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic b_global_sets:
b_supplementary_global_set/1
.
! near the top of this file.
! warning: predicate b_global_sets:
b_replaced_global_set/2
is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic b_global_sets:
b_replaced_global_set/2
.
! near the top of this file.
! warning: predicate b_global_sets:
enumerated_set/1
is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic b_global_sets:
enumerated_set/1
.
! near the top of this file.
! warning: predicate b_global_sets:
fixed_deferred_set_size/2
is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic b_global_sets:
fixed_deferred_set_size/2
.
! near the top of this file.
! warning: predicate b_global_sets:
extract_setsize_from_machine_cache/3
is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic b_global_sets:
extract_setsize_from_machine_cache/3
.
! near the top of this file.
! warning: predicate b_global_sets:
find_minimum_cardinality_cache/2
is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic b_global_sets:
find_minimum_cardinality_cache/2
.
! near the top of this file.
* Non-determinate: b_global_sets:
generate_fresh_supplementary_global_set/1
(clause 1)
* Calls nondet predicate b_global_sets:
debug_println/2
.
* Non-determinate: b_global_sets:
extract_setsize_from_machine/3
(clause 4)
* Calls nondet predicate b_global_sets:
debug_format/3
.
* Non-determinate: b_global_sets:
extract_DEFERRED_setsize_from_machine/3
(clause 4)
* Calls nondet predicate b_global_sets:
debug_println/2
.
* Non-determinate: b_global_sets:
extract_DEFERRED_setsize_from_machine/3
(clause 5)
* Calls nondet predicate b_global_sets:
debug_println/2
.
* Non-determinate: b_global_sets:
find_maximum_cardinality2/4
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: b_global_sets:
find_maximum_cardinality2/4
(clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: b_global_sets:
get_equality/4
(clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: b_global_sets:
get_card_upper_bound/3
(clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: b_global_sets:
maximum_cardinality_of_identifier/3
(clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: b_global_sets:
find_minimum_cardinality/2
(clause 2)
* Calls nondet predicate b_global_sets:
debug_println/2
.
* Non-determinate: b_global_sets:
find_minimum_cardinality2/4
(clause 1)
* Indexing cannot distinguish this from clause 2.
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_178231,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/partition_detection.pl')])
* Non-determinate: b_global_sets:
find_minimum_cardinality3/4
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: b_global_sets:
find_minimum_cardinality3/4
(clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: b_global_sets:
find_minimum_cardinality3/4
(clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: b_global_sets:
is_surjection/3
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: b_global_sets:
is_surjection/3
(clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: b_global_sets:
is_surjection/3
(clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: b_global_sets:
is_surjection/3
(clause 4)
* Indexing cannot distinguish this from clause 5.
* Non-determinate: b_global_sets:
inequality_aux/5
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: b_global_sets:
inequality_aux/5
(clause 2)
* Indexing cannot distinguish this from clause 6.
* Non-determinate: b_global_sets:
inequality_aux/5
(clause 3)
* Indexing cannot distinguish this from clause 6.
* Non-determinate: b_global_sets:
inequality_aux/5
(clause 4)
* Indexing cannot distinguish this from clause 6.
* Non-determinate: b_global_sets:
inequality_aux/5
(clause 4)
* Calls nondet predicate b_global_sets:
select/3
.
* Non-determinate: b_global_sets:
inequality_aux/5
(clause 5)
* Indexing cannot distinguish this from clause 6.
* Non-determinate: b_global_sets:
inequality_aux/5
(clause 6)
* Calls nondet predicate b_global_sets:
select/3
.
* Non-determinate: b_global_sets:
all_different/4
(clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: b_global_sets:
set_extension_list/3
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: b_global_sets:
equality/3
(clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: b_global_sets:
is_equality_card_expression/4
(clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: b_global_sets:
evaluable_integer_expression/3
(clause 2)
* Calls nondet predicate preferences:
preference/2
.
* Non-determinate: b_global_sets:
evaluable_integer_expression/3
(clause 3)
* Calls nondet predicate preferences:
preference/2
.
* Non-determinate: b_global_sets:
is_greaterequalthan_card_global_set_id/5
(clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: b_global_sets:
is_greaterequalthan_card_global_set_id/5
(clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: b_global_sets:
is_greaterequalthan_card_global_set_id/5
(clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: b_global_sets:
is_greaterequalthan_card_global_set_id/5
(clause 2)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: b_global_sets:
get_value_bound/3
(clause 1)
* Indexing cannot distinguish this from clause 2.
! warning: predicate b_global_sets:
start_extracting_setsize/1
is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic b_global_sets:
start_extracting_setsize/1
.
! near the top of this file.
* Non-determinate: b_global_sets:
fixed_finite_deferred_set_size/2
(clause 1)
* Calls nondet predicate b_global_sets:
fixed_deferred_set_size/2
.
* Non-determinate: b_global_sets:
pre_register_enumerated_set_with_elems/2
(clause 1)
* Calls nondet predicate b_global_sets:
debug_format/3
.
* Non-determinate: b_global_sets:
pre_register_enumerated_set/1
(clause 1)
* Calls nondet predicate b_global_sets:
debug_format/3
.
* Non-determinate: b_global_sets:
is_b_precompiled_globalset/1
(clause 1)
* Calls nondet predicate b_global_sets:
extract_setsize_from_machine_cache/3
.
* Non-determinate: b_global_sets:
b_integer_or_real_or_string_set/1
(clause 1)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: b_global_sets:
b_integer_or_real_or_string_set/1
(clause 2)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: b_global_sets:
b_integer_or_real_or_string_set/1
(clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: b_global_sets:
b_integer_or_real_set/1
(clause 1)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: b_global_sets:
b_integer_or_real_set/1
(clause 2)
* Indexing cannot distinguish this from clause 3.