kernel_mappings_dispatch

Imports	Exports
Name: module_info/2 Module: module_information Name: get_wait_flag0/2 Module: kernel_waitflags Name: ground_value_opt_check/3 Module: kernel_tools	Name: gen/0 Name: binary_kernel_call/10

Imports

Exports

Name: module_info/2

Module: module_information

Name: get_wait_flag0/2

Module: kernel_waitflags

Name: ground_value_opt_check/3

Module: kernel_tools

Name: gen/0

Name: binary_kernel_call/10

Predicates

Predicates:

binary_kernel_call/10

block_kernel_dispatch_binary/9

gen/0

kernel_dispatch_binary/7

kernel_dispatch_binary_direct/7

kernel_dispatch_unary/5

binary_kernel_call/10

block_kernel_dispatch_binary/9

Block: block_kernel_dispatch_binary(?,?,?,?,?,?,?,-,-)

gen/0

kernel_dispatch_binary_direct/7

kernel_dispatch_binary_direct(concat, A, B, C, D, _, _) :-
    bsets_clp:concat_sequence(A, B, C, D).

kernel_dispatch_binary_direct(insert_front, A, B, C, D, _, _) :-
    bsets_clp:prepend_sequence(A, B, C, D).

kernel_dispatch_binary_direct(insert_tail, A, B, C, D, _, _) :-
    bsets_clp:append_sequence(A, B, C, D).

kernel_dispatch_binary_direct(restrict_front, A, B, C, D, _, _) :-
    bsets_clp:prefix_sequence_wf(A, B, C, D).

kernel_dispatch_binary_direct(restrict_tail, A, B, C, D, _, _) :-
    bsets_clp:suffix_sequence(A, B, C, D).

kernel_dispatch_binary_direct(union, A, B, C, D, _, _) :-
    kernel_objects:union_wf(A, B, C, D).

kernel_dispatch_binary_direct(intersection, A, B, C, D, _, _) :-
    kernel_objects:intersection(A, B, C, D).

kernel_dispatch_binary_direct(set_subtraction, A, B, C, D, _, _) :-
    kernel_objects:difference_set_wf(A, B, C, D).

kernel_dispatch_binary_direct(cartesian_product, A, B, C, D, _, _) :-
    kernel_objects:cartesian_product_wf(A, B, C, D).

kernel_dispatch_binary_direct(add, A, B, C, _, _, _) :-
    kernel_objects:int_plus(A, B, C).

kernel_dispatch_binary_direct(add_real, A, B, C, D, _, _) :-
    kernel_reals:real_addition_wf(A, B, C, D).

kernel_dispatch_binary_direct(multiplication, A, B, C, _, _, _) :-
    kernel_objects:times(A, B, C).

kernel_dispatch_binary_direct(multiplication_real, A, B, C, D, _, _) :-
    kernel_reals:real_multiplication_wf(A, B, C, D).

kernel_dispatch_binary_direct(minus, A, B, C, _, _, _) :-
    kernel_objects:int_minus(A, B, C).

kernel_dispatch_binary_direct(minus_real, A, B, C, D, _, _) :-
    kernel_reals:real_subtraction_wf(A, B, C, D).

kernel_dispatch_binary_direct(modulo, A, B, C, D, _, E) :-
    kernel_objects:modulo(A, B, C, E, D).

kernel_dispatch_binary_direct(power_of, A, B, C, D, _, E) :-
    kernel_objects:int_power(A, B, C, E, D).

kernel_dispatch_binary_direct(power_of_real, A, B, C, D, _, E) :-
    kernel_reals:real_power_of_wf(A, B, C, E, D).

kernel_dispatch_binary_direct(div, A, B, C, D, _, E) :-
    kernel_objects:division(A, B, C, E, D).

kernel_dispatch_binary_direct(div_real, A, B, C, D, _, E) :-
    kernel_reals:real_division_wf(A, B, C, E, D).

kernel_dispatch_binary_direct(floored_div, A, B, C, D, _, E) :-
    kernel_objects:floored_division(A, B, C, E, D).

kernel_dispatch_binary_direct(image, A, B, C, D, _, _) :-
    bsets_clp:image_wf(A, B, C, D).

kernel_dispatch_binary_direct(domain_restriction, A, B, C, D, _, _) :-
    bsets_clp:domain_restriction_wf(A, B, C, D).

kernel_dispatch_binary_direct(domain_subtraction, A, B, C, D, _, _) :-
    bsets_clp:domain_subtraction_wf(A, B, C, D).

kernel_dispatch_binary_direct(range_subtraction, A, B, C, D, _, _) :-
    bsets_clp:range_subtraction_wf(A, B, C, D).

kernel_dispatch_binary_direct(range_restriction, A, B, C, D, _, _) :-
    bsets_clp:range_restriction_wf(A, B, C, D).

kernel_dispatch_binary_direct(overwrite, A, B, C, D, _, _) :-
    bsets_clp:override_relation(A, B, C, D).

kernel_dispatch_binary_direct(composition, A, B, C, D, E, _) :-
    bsets_clp:rel_composition_wf(A, B, C, E, D).

kernel_dispatch_binary_direct(iteration, A, B, C, D, E, _) :-
    bsets_clp:rel_iterate_wf(A, B, C, E, D).

kernel_dispatch_binary_direct(direct_product, A, B, C, D, _, _) :-
    bsets_clp:direct_product_wf(A, B, C, D).

kernel_dispatch_binary_direct(parallel_product, A, B, C, D, _, _) :-
    bsets_clp:parallel_product_wf(A, B, C, D).

kernel_dispatch_unary/5

kernel_dispatch_unary(reverse, A, B, C, _) :-
    bsets_clp:invert_relation_wf(A, B, C).

kernel_dispatch_unary(closure, A, B, C, _) :-
    bsets_clp:relational_trans_closure_wf(A, B, C).

kernel_dispatch_unary(domain, A, B, C, _) :-
    bsets_clp:domain_wf(A, B, C).

kernel_dispatch_unary(range, A, B, C, _) :-
    bsets_clp:range_wf(A, B, C).

kernel_dispatch_unary(general_union, A, B, C, _) :-
    kernel_objects:union_generalized_wf(A, B, C).

kernel_dispatch_unary(general_intersection, A, B, C, D) :-
    kernel_objects:intersection_generalized_wf(A, B, D, C).

kernel_dispatch_unary(first, A, B, C, D) :-
    bsets_clp:first_sequence(A, B, D, C).

kernel_dispatch_unary(size, A, B, C, _) :-
    bsets_clp:size_of_sequence(A, B, C).

kernel_dispatch_unary(front, A, B, C, D) :-
    bsets_clp:front_sequence(A, B, D, C).

kernel_dispatch_unary(tail, A, B, C, D) :-
    bsets_clp:tail_sequence(A, B, D, C).

kernel_dispatch_unary(rev, A, B, C, _) :-
    bsets_clp:rev_sequence(A, B, C).

kernel_dispatch_unary(last, A, B, C, D) :-
    bsets_clp:last_sequence(A, B, D, C).

kernel_dispatch_unary(card, A, B, C, _) :-
    kernel_cardinality_attr:finite_cardinality_as_int_wf(A, B, C).

kernel_dispatch_unary(pow_subset, A, B, _, _) :-
    kernel_objects:power_set(A, B).

kernel_dispatch_unary(fin_subset, A, B, _, _) :-
    kernel_objects:power_set(A, B).

kernel_dispatch_unary(pow1_subset, A, B, _, _) :-
    kernel_objects:non_empty_power_set(A, B).

kernel_dispatch_unary(fin1_subset, A, B, _, _) :-
    kernel_objects:non_empty_power_set(A, B).

kernel_dispatch_unary(identity, A, B, C, _) :-
    bsets_clp:identity_relation_over_wf(A, B, C).

kernel_dispatch_unary(general_concat, A, B, C, _) :-
    bsets_clp:concatentation_of_sequences(A, B, C).

kernel_dispatch_unary(unary_minus, A, B, C, _) :-
    kernel_objects:unary_minus_wf(A, B, C).

kernel_dispatch_unary(unary_minus_real, A, B, C, _) :-
    kernel_reals:real_unary_minus_wf(A, B, C).

kernel_dispatch_unary(square_multiplication, A, B, C, _) :-
    kernel_objects:square(A, B, C).

kernel_dispatch_unary(max, A, B, C, D) :-
    kernel_objects:maximum_of_set(A, B, D, C).

kernel_dispatch_unary(max_real, A, B, C, D) :-
    kernel_reals:real_maximum_of_set(A, B, D, C).

kernel_dispatch_unary(min, A, B, C, D) :-
    kernel_objects:minimum_of_set(A, B, D, C).

kernel_dispatch_unary(min_real, A, B, C, D) :-
    kernel_reals:real_minimum_of_set(A, B, D, C).

kernel_dispatch_unary(first_of_pair, A, B, _, _) :-
    kernel_objects:first_of_pair(A, B).

kernel_dispatch_unary(second_of_pair, A, B, _, _) :-
    kernel_objects:second_of_pair(A, B).

kernel_dispatch_unary(mu, A, B, C, D) :-
    kernel_objects:singleton_set_element(A, B, D, C).

kernel_dispatch_unary(compaction, A, B, C, _) :-
    kernel_z:compaction(A, B, C).

kernel_dispatch_unary(bag_items, A, B, C, _) :-
    kernel_z:bag_items(A, B, C).

kernel_dispatch_unary(convert_real, A, B, _, _) :-
    kernel_reals:convert_int_to_real(A, B).

kernel_dispatch_unary(convert_int_floor, A, B, _, _) :-
    kernel_reals:real_floor(A, B).

kernel_dispatch_unary(convert_int_ceiling, A, B, _, _) :-
    kernel_reals:real_ceiling(A, B).

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'),_32745,[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(no_terminal_colors,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 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),_64155,[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'),_32745,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/error_manager.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(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),_42949,[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),_41285,[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 covsrc(coverage_tools_annotations) does not exist
! goal: absolute_file_name(covsrc(coverage_tools_annotations),_11407,[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 extrasrc(json_parser) does not exist
! goal: absolute_file_name(extrasrc(json_parser),_46083,[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(tools) does not exist
! goal: absolute_file_name(probsrc(tools),_137053,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_records.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),_168469,[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(closures) does not exist
! goal: absolute_file_name(probsrc(closures),_174731,[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 extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_180283,[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),_179519,[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),_179519,[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),_180815,[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),_180141,[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),_181135,[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),_174731,[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_waitflags) does not exist
! goal: absolute_file_name(probsrc(kernel_waitflags),_202171,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/performance_messages.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 argument 1 of absolute_file_name/3
! file probsrc(kernel_reals) does not exist
! goal: absolute_file_name(probsrc(kernel_reals),_197901,[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),_192207,[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),_175295,[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 extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_188377,[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),_188231,[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'),_192505,[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'),_188377,[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(tools_platform) does not exist
! goal: absolute_file_name(probsrc(tools_platform),_175583,[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 extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_175295,[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 kodkodsrc(kodkod) does not exist
! goal: absolute_file_name(kodkodsrc(kodkod),_168469,[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 probsrc(kernel_waitflags) does not exist
! goal: absolute_file_name(probsrc(kernel_waitflags),_166325,[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),_166325,[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),_140329,[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 prob_rewrite_rules(b_ast_cleanup_rewrite_rules) does not exist
! goal: absolute_file_name(prob_rewrite_rules(b_ast_cleanup_rewrite_rules),_136765,[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),_137195,[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(b_state_model_check) does not exist
! goal: absolute_file_name(probsrc(b_state_model_check),_136911,[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(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_136911,[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),_129371,[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(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_129371,[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),_131177,[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(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_129371,[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(bsyntaxtree) does not exist
! goal: absolute_file_name(probsrc(bsyntaxtree),_125953,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_construction.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bsyntaxtree) does not exist
! goal: absolute_file_name(probsrc(bsyntaxtree),_125811,[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),_93421,[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(clpfd_interface) does not exist
! goal: absolute_file_name(probsrc(clpfd_interface),_94145,[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),_92143,[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 probsrc(clpfd_interface) does not exist
! goal: absolute_file_name(probsrc(clpfd_interface),_81337,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_global_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'),_55341,[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 probsrc(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_49647,[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),_46083,[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(custom_explicit_sets) does not exist
! goal: absolute_file_name(probsrc(custom_explicit_sets),_15681,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bsyntaxtree.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),_11549,[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_use_timer,true)

Name: kernel_dispatch_binary/7	Module: kernel_mappings_dispatch
Name: special_propagate_binary_function/5	Module: kernel_mappings

Name: fail
Name: portray_clause/1
Name: =../2
Name: expects_waitflag_and_type/1	Module: kernel_mappings
Name: ->/3
Name: expects_waitflag/1	Module: kernel_mappings
Name: expects_waitflag_and_span/1	Module: kernel_mappings
Name: binary_function/3	Module: foo_error
Name: format/2
Name: unary_function/3	Module: foo_error

Name: block_kernel_dispatch_binary/9	Module: kernel_mappings_dispatch
Name: ground_value_opt_check/3	Module: kernel_tools
Name: kernel_dispatch_binary_direct/7	Module: kernel_mappings_dispatch
Name: nonvar/1
Name: ->/3
Name: get_wait_flag0/2	Module: kernel_waitflags

Name: parallel_product_wf/4	Module: bsets_clp
Name: direct_product_wf/4	Module: bsets_clp
Name: rel_iterate_wf/5	Module: bsets_clp
Name: rel_composition_wf/5	Module: bsets_clp
Name: override_relation/4	Module: bsets_clp
Name: range_restriction_wf/4	Module: bsets_clp
Name: range_subtraction_wf/4	Module: bsets_clp
Name: domain_subtraction_wf/4	Module: bsets_clp
Name: domain_restriction_wf/4	Module: bsets_clp
Name: image_wf/4	Module: bsets_clp
Name: floored_division/5	Module: kernel_objects
Name: real_division_wf/5	Module: kernel_reals
Name: division/5	Module: kernel_objects
Name: real_power_of_wf/5	Module: kernel_reals
Name: int_power/5	Module: kernel_objects
Name: modulo/5	Module: kernel_objects
Name: real_subtraction_wf/4	Module: kernel_reals
Name: int_minus/3	Module: kernel_objects
Name: real_multiplication_wf/4	Module: kernel_reals
Name: times/3	Module: kernel_objects
Name: real_addition_wf/4	Module: kernel_reals
Name: int_plus/3	Module: kernel_objects
Name: cartesian_product_wf/4	Module: kernel_objects
Name: difference_set_wf/4	Module: kernel_objects
Name: intersection/4	Module: kernel_objects
Name: union_wf/4	Module: kernel_objects
Name: suffix_sequence/4	Module: bsets_clp
Name: prefix_sequence_wf/4	Module: bsets_clp
Name: append_sequence/4	Module: bsets_clp
Name: prepend_sequence/4	Module: bsets_clp
Name: concat_sequence/4	Module: bsets_clp

Name: block_kernel_dispatch_binary/9	Module: kernel_mappings_dispatch
Name: kernel_dispatch_binary/7	Module: kernel_mappings_dispatch

Name: real_ceiling/2	Module: kernel_reals
Name: real_floor/2	Module: kernel_reals
Name: convert_int_to_real/2	Module: kernel_reals
Name: bag_items/3	Module: kernel_z
Name: compaction/3	Module: kernel_z
Name: singleton_set_element/4	Module: kernel_objects
Name: second_of_pair/2	Module: kernel_objects
Name: first_of_pair/2	Module: kernel_objects
Name: real_minimum_of_set/4	Module: kernel_reals
Name: minimum_of_set/4	Module: kernel_objects
Name: real_maximum_of_set/4	Module: kernel_reals
Name: maximum_of_set/4	Module: kernel_objects
Name: square/3	Module: kernel_objects
Name: real_unary_minus_wf/3	Module: kernel_reals
Name: unary_minus_wf/3	Module: kernel_objects
Name: concatentation_of_sequences/3	Module: bsets_clp
Name: identity_relation_over_wf/3	Module: bsets_clp
Name: non_empty_power_set/2	Module: kernel_objects
Name: power_set/2	Module: kernel_objects
Name: finite_cardinality_as_int_wf/3	Module: kernel_cardinality_attr
Name: last_sequence/4	Module: bsets_clp
Name: rev_sequence/3	Module: bsets_clp
Name: tail_sequence/4	Module: bsets_clp
Name: front_sequence/4	Module: bsets_clp
Name: size_of_sequence/3	Module: bsets_clp
Name: first_sequence/4	Module: bsets_clp
Name: intersection_generalized_wf/4	Module: kernel_objects
Name: union_generalized_wf/3	Module: kernel_objects
Name: range_wf/3	Module: bsets_clp
Name: domain_wf/3	Module: bsets_clp
Name: relational_trans_closure_wf/3	Module: bsets_clp
Name: invert_relation_wf/3	Module: bsets_clp