kernel_reals

Module Information

Module Information

473 Lines

71 Predicates

Imported Modules:           error_manager          self_check          lists          debug

34 Exports

17 specified Imports

Imports

Exports

Name:    module_info/2 Module:    module_information Name:    exhaustive_kernel_check_wf/2 Module:    kernel_objects Name:    exhaustive_kernel_check_wf/3 Module:    kernel_objects Name:     next_smaller_abs_float/2 Module:     counter/counter Name:     next_smaller_float/2 Module:     counter/counter Name:     next_larger_float/2 Module:     counter/counter Name:     next_float_twoards/3 Module:     counter/counter Name:     smallest_float/1 Module:     counter/counter Name:     largest_float/1 Module:     counter/counter Name:     smallest_abs_float/1 Module:     counter/counter Name:    get_wait_flag/4 Module:    kernel_waitflags Name:    get_preference/2 Module:    preferences Name:    add_wd_error/3 Module:    kernel_waitflags Name:    add_wd_error_span/4 Module:    kernel_waitflags Name:    ajoin/2 Module:    tools_strings Name:    add_error_wf/5 Module:    kernel_waitflags Name:    ground_value_check/2 Module:    kernel_tools

Name:    construct_real/2 Name:    construct_negative_real/2 Name:    is_real/1 Name:    is_real/2 Name:    is_real_wf/2 Name:    is_float/1 Name:    is_float_wf/2 Name:    is_not_real/1 Name:    is_not_float/1 Name:    is_ground_real/1 Name:    is_largest_positive_float/1 Name:    is_smallest_positive_float/1 Name:    is_next_larger_float/2 Name:    is_next_smaller_float/2 Name:    convert_int_to_real/2 Name:    real_floor/2 Name:    real_ceiling/2 Name:    real_addition_wf/4 Name:    real_subtraction_wf/4 Name:    real_multiplication_wf/4 Name:    real_division_wf/5 Name:    real_unary_minus_wf/3 Name:    real_absolute_value_wf/3 Name:    real_square_root_wf/4 Name:    real_round_wf/3 Name:    real_unop_wf/4 Name:    real_unop_wf/5 Name:    real_binop_wf/6 Name:    real_power_of_wf/5 Name:    real_less_than_wf/3 Name:    real_less_than_equal_wf/3 Name:    real_comp_wf/5 Name:    real_maximum_of_set/4 Name:    real_minimum_of_set/4

Predicates

Predicates:

allow_constraint_propagation/1

block_next_larger_float/2

check_sol_direct/5

confirm_solution_for_expr/7

construct_negative_real/2

construct_real/2

convert_int_to_real/2

convert_int_to_real_aux/2

find_larger_bounds/8

find_lower_bounds/8

get_real/5

get_solutions_around/6

get_solver_kind/2

is_float/1

is_float_wf/2

is_ground_real/1

is_largest_positive_float/1

is_next_larger_float/2

is_next_smaller_float/2

is_not_float/1

is_not_real/1

is_real/1

is_real/2

is_real_wf/2

is_smallest_positive_float/1

kernel_square_inverse/3

process_evaluation_error/4

real_abs_wf_aux/3

real_absolute_value_wf/3

real_add_wf_aux/4

real_add_wf_aux2/4

real_addition_wf/4

real_binop_wf/6

real_binop_wf_aux/6

real_ceiling/2

real_ceiling_aux/2

real_comp_wf/5

real_comp_wf_aux/5

real_div_wf_aux/5

real_division_wf/5

real_floor/2

real_floor_aux/2

real_less_than_equal_wf/3

real_less_than_wf/3

real_maximum_of_set/4

real_minimum_of_set/4

real_mul_wf_aux/4

real_mul_wf_aux0/4

real_mul_wf_aux2/4

real_multiplication_wf/4

real_power_direct/5

real_power_inverse/5

real_power_of_aux/5

real_power_of_wf/5

real_round_wf/3

real_sqrt_wf_aux/4

real_square_root_wf/4

real_sub_wf_aux/4

real_sub_wf_aux2/4

real_subtraction_wf/4

real_um_wf_aux/3

real_unary_minus_wf/3

real_unop_wf/4

real_unop_wf/5

real_unop_wf_aux/5

rmax_set/5

rmin_set/5

safe_is/3

safe_is/4

set_sol_aux/3

set_solution_for_expr/3

allow_constraint_propagation/1

allow_constraint_propagation/1

block_next_larger_float/2

block_next_larger_float/2

Block: block_next_larger_float(-,-)

check_sol_direct/5

check_sol_direct/5

confirm_solution_for_expr/7

confirm_solution_for_expr/7

construct_negative_real/2

construct_negative_real/2

construct_real/2

construct_real/2

convert_int_to_real/2

convert_int_to_real/2

convert_int_to_real_aux/2

convert_int_to_real_aux/2

Block: convert_int_to_real_aux(-,-)

find_larger_bounds/8

find_larger_bounds/8

find_lower_bounds/8

find_lower_bounds/8

get_real/5

get_real/5

get_solutions_around/6

get_solutions_around/6

get_solver_kind/2

get_solver_kind/2

is_float/1

is_float/1

is_float_wf/2

is_float_wf/2

is_ground_real/1

is_ground_real/1

is_largest_positive_float/1

is_largest_positive_float/1

is_next_larger_float/2

is_next_larger_float/2

is_next_smaller_float/2

is_next_smaller_float/2

is_not_float/1

is_not_float/1

is_not_real/1

is_not_real/1

is_real/1

is_real/1

is_real/2

is_real/2

is_real_wf/2

is_real_wf/2

is_smallest_positive_float/1

is_smallest_positive_float/1

kernel_square_inverse/3

kernel_square_inverse/3

process_evaluation_error/4

process_evaluation_error/4

real_abs_wf_aux/3

real_abs_wf_aux/3

Block: real_abs_wf_aux(-,-,?)

real_absolute_value_wf/3

real_absolute_value_wf/3

Block: real_absolute_value_wf(-,-,?)

real_add_wf_aux/4

real_add_wf_aux/4

Block: real_add_wf_aux(-,-,?,?) real_add_wf_aux(?,-,-,?) real_add_wf_aux(-,?,-,?)

real_add_wf_aux2/4

real_add_wf_aux2/4

Block: real_add_wf_aux2(-,?,?,?) real_add_wf_aux2(?,-,?,?)

real_addition_wf/4

real_addition_wf/4

real_binop_wf/6

real_binop_wf/6

real_binop_wf_aux/6

real_binop_wf_aux/6

Block: real_binop_wf_aux(-,?,?,?,?,?) real_binop_wf_aux(?,-,?,?,?,?) real_binop_wf_aux(?,?,-,?,?,?)

real_ceiling/2

real_ceiling/2

real_ceiling_aux/2

real_ceiling_aux/2

Block: real_ceiling_aux(-,?)

real_comp_wf/5

real_comp_wf/5

Meta: real_comp_wf(2,-,-,-,-)

real_comp_wf_aux/5

real_comp_wf_aux/5

Meta: real_comp_wf_aux(2,-,-,-,-)

Block: real_comp_wf_aux(-,?,?,?,?) real_comp_wf_aux(?,-,?,?,?) real_comp_wf_aux(?,?,-,?,?)

real_div_wf_aux/5

real_div_wf_aux/5

Block: real_div_wf_aux(-,?,-,?,?) real_div_wf_aux(?,-,?,?,?)

real_division_wf/5

real_division_wf/5

real_floor/2

real_floor/2

real_floor_aux/2

real_floor_aux/2

Block: real_floor_aux(-,?)

real_less_than_equal_wf/3

real_less_than_equal_wf/3

real_less_than_wf/3

real_less_than_wf/3

real_maximum_of_set/4

real_maximum_of_set/4

real_minimum_of_set/4

real_minimum_of_set/4

real_mul_wf_aux/4

real_mul_wf_aux/4

Block: real_mul_wf_aux(-,-,?,?) real_mul_wf_aux(?,-,-,?) real_mul_wf_aux(-,?,-,?)

real_mul_wf_aux0/4

real_mul_wf_aux0/4

Block: real_mul_wf_aux0(-,-,-,?)

real_mul_wf_aux2/4

real_mul_wf_aux2/4

Block: real_mul_wf_aux2(-,?,?,?) real_mul_wf_aux2(?,-,?,?)

real_multiplication_wf/4

real_multiplication_wf/4

real_power_direct/5

real_power_direct/5

Block: real_power_direct(-,?,?,?,?) real_power_direct(?,-,?,?,?)

real_power_inverse/5

real_power_inverse/5

real_power_of_aux/5

real_power_of_aux/5

Block: real_power_of_aux(-,-,?,?,?) real_power_of_aux(?,-,-,?,?) real_power_of_aux(-,?,-,?,?)

real_power_of_wf/5

real_power_of_wf/5

real_round_wf/3

real_round_wf/3

real_sqrt_wf_aux/4

real_sqrt_wf_aux/4

Block: real_sqrt_wf_aux(-,-,?,?)

real_square_root_wf/4

real_square_root_wf/4

Block: real_square_root_wf(-,-,?,?)

real_sub_wf_aux/4

real_sub_wf_aux/4

Block: real_sub_wf_aux(-,-,?,?) real_sub_wf_aux(?,-,-,?) real_sub_wf_aux(-,?,-,?)

real_sub_wf_aux2/4

real_sub_wf_aux2/4

Block: real_sub_wf_aux2(-,?,?,?) real_sub_wf_aux2(?,-,?,?)

real_subtraction_wf/4

real_subtraction_wf/4

real_um_wf_aux/3

real_um_wf_aux/3

Block: real_um_wf_aux(-,-,?)

real_unary_minus_wf/3

real_unary_minus_wf/3

Block: real_unary_minus_wf(-,-,?)

real_unop_wf/4

real_unop_wf/4

real_unop_wf/5

real_unop_wf/5

real_unop_wf_aux/5

real_unop_wf_aux/5

Block: real_unop_wf_aux(-,?,?,?,?) real_unop_wf_aux(?,-,?,?,?)

rmax_set/5

rmax_set/5

Block: rmax_set(-,?,?,?,?)

rmin_set/5

rmin_set/5

Block: rmin_set(-,?,?,?,?)

safe_is/3

safe_is/3

safe_is/4

safe_is/4

set_sol_aux/3

set_sol_aux/3

Block: set_sol_aux(-,?,-)

set_solution_for_expr/3

set_solution_for_expr/3

Determinacy Checker

Determinacy Checker:

! 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 extension('dll_path/dll_path') does not exist
! goal: absolute_file_name(extension('dll_path/dll_path'),_51659,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pathes.pl')])
! 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),_61863,[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),_60199,[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),_41691,[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'),_10849,[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 extrasrc(json_parser) does not exist
! goal: absolute_file_name(extrasrc(json_parser),_78035,[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(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_81599,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_freetypes.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),_78035,[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 covsrc(coverage_tools_annotations) does not exist
! goal: absolute_file_name(covsrc(coverage_tools_annotations),_103747,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_waitflags.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),_103747,[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),_105891,[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),_119551,[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),_119263,[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(tools_strings) does not exist
! goal: absolute_file_name(probsrc(tools_strings),_119551,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/input_syntax_tree.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_158355,[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),_160161,[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 chrsrc(chr_integer_inequality) does not exist
! goal: absolute_file_name(chrsrc(chr_integer_inequality),_221095,[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(closures) does not exist
! goal: absolute_file_name(probsrc(closures),_221095,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/memoization.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(preferences) does not exist
! goal: absolute_file_name(probsrc(preferences),_227065,[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: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 extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_217105,[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),_216341,[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),_216341,[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 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),_217957,[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),_211553,[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(kernel_reals) does not exist
! goal: absolute_file_name(probsrc(kernel_reals),_207279,[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),_201585,[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 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),_184673,[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 kodkodsrc(kodkod) does not exist
! goal: absolute_file_name(kodkodsrc(kodkod),_178131,[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'),_178277,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/succeed_max.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),_178131,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xtl_interface.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'),_181411,[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 extension('probhash/probhash') does not exist
! goal: absolute_file_name(extension('probhash/probhash'),_178277,[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(avl_tools) does not exist
! goal: absolute_file_name(probsrc(avl_tools),_178419,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/state_packing.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(btypechecker) does not exist
! goal: absolute_file_name(probsrc(btypechecker),_165767,[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(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_158355,[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: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(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_154933,[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(bsyntaxtree) does not exist
! goal: absolute_file_name(probsrc(bsyntaxtree),_155221,[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 kodkodsrc(kodkod) does not exist
! goal: absolute_file_name(kodkodsrc(kodkod),_123825,[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(b_state_model_check) does not exist
! goal: absolute_file_name(probsrc(b_state_model_check),_119409,[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 probsrc(bmachine_eventb) does not exist
! goal: absolute_file_name(probsrc(bmachine_eventb),_112011,[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(kernel_waitflags) does not exist
! goal: absolute_file_name(probsrc(kernel_waitflags),_103747,[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(performance_messages) does not exist
! goal: absolute_file_name(probsrc(performance_messages),_103747,[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),_77893,[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 probsrc(custom_explicit_sets) does not exist
! goal: absolute_file_name(probsrc(custom_explicit_sets),_48627,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bsyntaxtree.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'),_50775,[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(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_48773,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/partition_detection.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'),_12539,[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 extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_reals.pl')])