gui_tcltk.pl

prob_prolog/src/gui_tcltk.pl

Modules

  • ProB_Preferences_maxx.pl
  • TestPrefs.pl
  • alloy2b
  • alloy2b_benchmarks
  • ample_sets
  • any.pl
  • assert_profiler
  • ast_cleanup_for_smt
  • ast_inspector
  • ast_optimizer_for_smt
  • ast_to_difference_logic
  • atelierb_provers_interface
  • atom.pl
  • avl_custom
  • avl_tools
  • avl_tree.pl
  • avl_ugraphs
  • avlp
  • b2sat
  • b2setlog
  • b_arithmetic_expressions.pl
  • b_ast_cleanup
  • b_ast_cleanup_rewrite_rules
  • b_cogen
  • b_compiler
  • b_enumerate
  • b_enumeration_order_analysis
  • b_expression_sharing
  • b_global_sets
  • b_intelligent_trace_replay
  • b_interpreter
  • b_interpreter_components
  • b_interpreter_eventb
  • b_machine_identifier_normalization
  • b_operation_cache
  • b_operation_guards
  • b_read_write_info
  • b_show_history
  • b_simplifier
  • b_state_model_check
  • b_synthesis
  • b_to_cnf
  • b_trace_checking
  • banditfuzz
  • basic_unit_tests
  • before_after_predicates
  • benchmark.pl
  • benchmark_analyser.pl
  • between.pl
  • bf_env
  • bliss_interface
  • block_checker.pl
  • bmachine
  • bmachine_construction
  • bmachine_static_checks
  • bmachine_structure
  • bmc
  • bool_pred
  • bool_pred_test.pl
  • boolean.pl
  • bsyntaxtree
  • bsyntaxtree_quantifiers
  • bvisual
  • bvisual_any_maxsolver
  • cbc_ba
  • cbc_path_solver
  • cbc_refinement_checks
  • cdclt_pred_to_sat
  • cdclt_preprocessing
  • cdclt_sat_solver
  • cdclt_settings
  • cdclt_solver
  • cdclt_stats
  • ce_replay
  • chr_set_membership
  • closures
  • clpfd_interface
  • clpfd_lists
  • clpfd_off_interface
  • clpfd_tables
  • code2vec
  • code2vec_tests
  • codespeed_versions
  • compile_time_flags
  • consistencycheck
  • constraints
  • counter
  • coverage_statistics
  • coverage_term_expander.pl
  • coverage_tools
  • coverage_tools_annotations
  • csp_basic
  • csp_sequences
  • csp_sets
  • csp_tuples
  • ctigar
  • ctl
  • custom_explicit_sets
  • cvc4interface
  • debug
  • debugging_calls
  • debugging_calls_te.pl
  • delay
  • dependence
  • dev.pl
  • difference_logic_solver
  • disprover
  • disprover_test_runner
  • disprover_test_runner_cli.pl
  • domain
  • domain_test.pl
  • dot_graphs_static_analysis
  • eclipse_interface
  • enable_graph
  • enabling_analysis
  • enabling_predicates
  • error_manager
  • eval_interface
  • eval_let_store
  • eval_strings
  • eventhandling
  • example.pl
  • experiment.pl
  • external_function_declarations
  • external_functions
  • external_functions_reals
  • external_functions_svg
  • fastio_inspector.pl
  • fd_utils_clpfd
  • fdr_csp_generator
  • fibonacci_heap
  • find_whens.pl
  • fixed_value.pl
  • float.pl
  • fuzzer
  • fuzzer_runner.pl
  • fuzzfile
  • fuzzing
  • gensym
  • grammar
  • graph_iso_nauty
  • graphical_state_viewer_images
  • graphiso
  • graphiso_test
  • ground_truth
  • gui_tcltk.pl
  • hashing
  • haskell_csp
  • haskell_csp_analyzer
  • heuristic_grouping.pl
  • hit_profiler
  • ic3
  • inf_arith
  • infolog_problem_db.pl
  • input_syntax_tree
  • integer.pl
  • interval_calc
  • json_parser
  • junit_tests
  • kernel_card_arithmetic
  • kernel_cardinality_attr
  • kernel_dif
  • kernel_equality
  • kernel_freetypes
  • kernel_frozen_info
  • kernel_lists
  • kernel_mappings
  • kernel_mappings_dispatch
  • kernel_non_empty_attr
  • kernel_objects
  • kernel_ordering
  • kernel_propagation
  • kernel_reals
  • kernel_records
  • kernel_strings
  • kernel_sym_break_order
  • kernel_tools
  • kernel_waitflags
  • kernel_z
  • kinduction
  • kodkod
  • kodkod2
  • kodkod_annotator
  • kodkod_integer_recalc
  • kodkod_printer
  • kodkod_process
  • kodkod_rewrite
  • kodkod_test
  • kodkod_tools
  • kodkod_translate
  • kodkod_typing
  • latex_processor
  • library_setup
  • list.pl
  • location_vars_to_program
  • logger
  • logging
  • ltl
  • ltl2ba
  • ltl_fairness
  • ltl_propositions
  • ltl_safety
  • ltl_tools
  • ltl_translate
  • ltl_verification
  • ltlc
  • ltsmin
  • ltsmin_c_interface
  • ltsmin_trace
  • master
  • maxsolver
  • mcdc_coverage
  • member_of.pl
  • memoization
  • meta_interface
  • mic_generation
  • model_checker
  • model_translation
  • module_information
  • msg_interop
  • mutate_expressions
  • mutation.pl
  • mutation_prob_ast_int_expr.pl
  • mutation_prob_ast_pred.pl
  • mutation_prob_ast_seq_expr.pl
  • mutation_prob_ast_set_expr.pl
  • mutations
  • myheap
  • number.pl
  • operation_data_generator
  • optimizing_solver
  • ordsetsp
  • parsercall
  • partition_detection
  • pathes
  • pathes_extensions_db
  • pathes_lib
  • performance_messages
  • pge_algo
  • plspec
  • plspec_core
  • plspec_logger
  • plspec_test
  • pltables
  • pltables_export
  • pltables_export_csv
  • pltables_export_html
  • pltables_export_latex
  • pltables_export_tools
  • pltables_export_xml
  • plunit_test_runner
  • pragmas
  • predicate_abstraction
  • predicate_analysis
  • predicate_data_generator
  • predicate_debugger
  • predicate_evaluator
  • predicate_handling
  • pref_definitions
  • preferences
  • preprofiler
  • preserve_behaviour_test.pl
  • prettyprinter
  • prob2_interface
  • prob_ast_any.pl
  • prob_ast_boolean.pl
  • prob_ast_couple.pl
  • prob_ast_eval_int_expr.pl
  • prob_ast_eval_pred.pl
  • prob_ast_eval_seq_expr.pl
  • prob_ast_eval_set_expr.pl
  • prob_ast_expr.pl
  • prob_ast_identifier.pl
  • prob_ast_int_expr.pl
  • prob_ast_integer.pl
  • prob_ast_minimize_int_expr.pl
  • prob_ast_minimize_pred.pl
  • prob_ast_minimize_seq_expr.pl
  • prob_ast_minimize_set_expr.pl
  • prob_ast_pred.pl
  • prob_ast_record.pl
  • prob_ast_sat.pl
  • prob_ast_seq.pl
  • prob_ast_seq_expr.pl
  • prob_ast_set.pl
  • prob_ast_set_expr.pl
  • prob_ast_string.pl
  • prob_cli
  • prob_cov.pl
  • prob_cov_runner.pl
  • prob_profiling_cli.pl
  • prob_rule_compiler
  • prob_socketserver
  • prob_startup
  • prob_state_predicates
  • prob_tcltk.pl
  • prob_type.pl
  • prob_value_any.pl
  • prob_value_boolean.pl
  • prob_value_integer.pl
  • prob_value_record.pl
  • prob_value_seq.pl
  • prob_value_set.pl
  • prob_value_string.pl
  • probhash
  • probsocket_proxy.pl
  • profiler
  • profiler_gui
  • profiler_te
  • prologTasks
  • prothon
  • proz
  • ptest.pl
  • quantifier_instantiation
  • random_permutations
  • rational.pl
  • record_detection
  • reduce_graph_state_space
  • refinement_checker
  • regexp
  • rewrite_rules_db
  • runtime_profiler
  • safety_mc
  • sap
  • sat_symmetry_breaking
  • satsolver
  • schemaexpansion
  • schemavars
  • self_check
  • self_check_off.pl
  • seq_rewriter
  • set_rewriter
  • smt_common_predicates
  • smt_solver_benchmarks
  • smt_solvers_interface
  • smt_symmetry_breaking
  • smtlib2_cli
  • smtlib2_environment
  • smtlib2_interpreter
  • smtlib2_parser
  • smtlib2_parser_tests
  • smtlib2_translation
  • snippets.pl
  • softfloat
  • solver_dispatcher
  • solver_handling
  • solver_interface
  • solvercalls
  • source_profiler
  • specfile
  • state_as_dot_graph
  • state_custom_dot_graph
  • state_graph_canon
  • state_packing
  • state_permuter
  • state_space
  • state_space_dijkstra
  • state_space_exploration_modes
  • state_space_explorer
  • state_space_open_nodes
  • state_space_open_nodes_c
  • state_space_reduction
  • static_analysis
  • static_enabling_analysis
  • static_ordering
  • store
  • subexpressions
  • succeed_max
  • symmetry_marker
  • symmetry_reduction
  • synthesis_tests
  • synthesis_util
  • system_call
  • table_tools
  • tcltk_interface
  • tcltk_tree_inspector
  • test
  • test2
  • test_fibonacci_heap
  • test_nodestore.pl
  • test_paths
  • test_regexp
  • test_regexp_unicode
  • test_runner
  • test_runner_cov.pl
  • test_typechecker
  • testcases
  • testdining
  • testltlc
  • tests.pl
  • testsignal.pl
  • timer
  • tools
  • tools_commands
  • tools_fastread
  • tools_files
  • tools_io
  • tools_lists
  • tools_matching
  • tools_meta
  • tools_portability
  • tools_positions
  • tools_printing
  • tools_strings
  • tools_timeout
  • trace_generator
  • translate
  • translate_keywords
  • tree.pl
  • typechecker
  • typing_tools
  • uml_generator
  • unbound_spec_test.pl
  • unsat_core_generalization
  • unsat_cores
  • user_interrupts
  • user_signal
  • validator
  • validator_test
  • value_persistance
  • variable.pl
  • version
  • visb_visualiser
  • visualize_graph
  • weakest_preconditions
  • well_def_analyser
  • well_def_hyps
  • well_def_prover
  • well_def_tools
  • welldef
  • whash_send
  • worker
  • xml2b
  • xml_prob
  • xtl_interface
  • z3interface
  • z_tools
  • z_typechecker
  • zenvironment
  • zmq
  • zparameters
  • ztransformations
  • Predicates of gui_tcltk.pl

  • add_tcl_code/1
  • assert_cli_error_occurred/1
  • assert_tcl_codes/1
  • check_tcl_path/0
  • decompose_tcl_path/2
  • eval_all_tcl_code/1
  • full_tcl_name/1
  • gen/0
  • gen_txt_files/0
  • get_cli_options/2
  • get_tcl_expected_extension/1
  • go/0
  • go2/2
  • is_nl/2
  • print_cli_errors/0
  • print_tcl_infos/0
  • print_tcl_summary/0
  • prob_finished/0
  • read_tcl_source_files/0
  • recognised_option/3
  • recognised_option/4
  • reset_tcl/0
  • run_tk_main_loop/0
  • split_string_by_keyword/2
  • split_string_by_keyword/5
  • tcl_source_file/1
  • tcltk_get_command_line_file_to_open/1
  • tcltk_get_command_line_option/1
  • tcltk_get_command_line_tcltk_commands/1
  • tcltk_load_commandline_prefs_file/0
  • Module Information

    Module Information


    Dynamic Predicates:           cur_tcl_process/1           cli_prefs_file/1           cli_error_occurred/0           cli_error_occurred/1           tcl_code/1           prob_licence/1           prob_summary/1           procsp_summary/1           mc_summary/1           proz_summary/1           protla_summary/1           symmetry_summary/1           ltl_summary/1           ctl_summary/1           alloy2b_summary/1           enabling_legend/1

    391 Lines

    30 Predicates

    Imported Modules:           specfile          preferences          error_manager          self_check          translate          state_space          debug          user_interrupts          user_signal/user_signal          model_checker          eval_strings          b_global_sets          runtime_profiler          b_machine_hierarchy          b_read_write_info          b_state_model_check          b_trace_checking          bmachine          eclipse_interface          predicate_evaluator          source_profiler          value_persistance          haskell_csp          system          version          tools_commands          b_intelligent_trace_replay          lists

    0 Exports

    17 specified Imports

    Imports Exports

    Name:    startup_prob/0

    Module:    prob_startup


    Name:    read_string_from_file/2

    Module:    tools


    Name:    get_options/4

    Module:    tools


    Name:    read_atom_from_file/3

    Module:    tools


    Name:    set_storage_directory/2

    Module:    value_persistance


    Name:    b_get_definition_string_list_from_spec/2

    Module:    pref_definitions


    Name:    b_get_definition_string_from_spec/3

    Module:    pref_definitions


    Name:    startup_prob/0

    Module:    prob_startup


    Name:    host_platform/1

    Module:    tools


    Name:    host_processor/1

    Module:    tools


    Name:    print_message/1

    Module:    tools


    Name:    check_types/0

    Module:    typechecker


    Name:     sleep/1

    Module:     system


    Name:    host_platform/1

    Module:    tools


    Name:    get_filename_extension/2

    Module:    tools


    Name:     file_exists/1

    Module:     file_systems


    Name:     directory_member_of_directory/4

    Module:     file_systems



    Predicates

    Predicates:

  • add_tcl_code/1
  • assert_cli_error_occurred/1
  • assert_tcl_codes/1
  • check_tcl_path/0
  • decompose_tcl_path/2
  • eval_all_tcl_code/1
  • full_tcl_name/1
  • gen/0
  • gen_txt_files/0
  • get_cli_options/2
  • get_tcl_expected_extension/1
  • go/0
  • go2/2
  • is_nl/2
  • print_cli_errors/0
  • print_tcl_infos/0
  • print_tcl_summary/0
  • prob_finished/0
  • read_tcl_source_files/0
  • recognised_option/3
  • recognised_option/4
  • reset_tcl/0
  • run_tk_main_loop/0
  • split_string_by_keyword/2
  • split_string_by_keyword/5
  • tcl_source_file/1
  • tcltk_get_command_line_file_to_open/1
  • tcltk_get_command_line_option/1
  • tcltk_get_command_line_tcltk_commands/1
  • tcltk_load_commandline_prefs_file/0


  • add_tcl_code/1

    add_tcl_code/1



    assert_cli_error_occurred/1

    assert_cli_error_occurred/1



    assert_tcl_codes/1

    assert_tcl_codes/1



    check_tcl_path/0

    check_tcl_path/0



    decompose_tcl_path/2

    decompose_tcl_path/2



    eval_all_tcl_code/1

    eval_all_tcl_code/1



    full_tcl_name/1

    full_tcl_name/1



    gen/0

    gen/0



    gen_txt_files/0

    gen_txt_files/0



    get_cli_options/2

    get_cli_options/2



    get_tcl_expected_extension/1

    get_tcl_expected_extension/1



    go/0

    go/0

    Description:
    required for Tcl/Tk code:
    :- use_module(cspParserHs,'cia/haskell/java_api/cspParserHs.pl',
    [initCspParser/0]).
    initCspParser,



    go2/2

    go2/2



    is_nl/2

    is_nl/2



    print_cli_errors/0

    print_cli_errors/0



    print_tcl_infos/0

    print_tcl_infos/0



    print_tcl_summary/0

    print_tcl_summary/0



    prob_finished/0

    prob_finished/0



    read_tcl_source_files/0

    read_tcl_source_files/0



    recognised_option/3

    recognised_option/3



    recognised_option/4

    recognised_option/4



    reset_tcl/0

    reset_tcl/0



    run_tk_main_loop/0

    run_tk_main_loop/0



    split_string_by_keyword/2

    split_string_by_keyword/2



    split_string_by_keyword/5

    split_string_by_keyword/5



    tcl_source_file/1

    tcl_source_file/1



    tcltk_get_command_line_file_to_open/1

    tcltk_get_command_line_file_to_open/1



    tcltk_get_command_line_option/1

    tcltk_get_command_line_option/1



    tcltk_get_command_line_tcltk_commands/1

    tcltk_get_command_line_tcltk_commands/1



    tcltk_load_commandline_prefs_file/0

    tcltk_load_commandline_prefs_file/0



    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 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),_56277,[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),_54613,[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),_35537,[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'),_5263,[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 extension('user_signal/user_signal') does not exist
    ! goal: absolute_file_name(extension('user_signal/user_signal'),_3389,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/prob_startup.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'),_8797,[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 extension('counter/counter') does not exist
    ! goal: absolute_file_name(extension('counter/counter'),_7945,[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 probsrc(tools) does not exist
    ! goal: absolute_file_name(probsrc(tools),_53433,[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 covsrc(coverage_tools_annotations) does not exist
    ! goal: absolute_file_name(covsrc(coverage_tools_annotations),_145375,[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'),_145375,[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 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),_170519,[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),_172663,[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),_178641,[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 prob_rewrite_rules(b_ast_cleanup_rewrite_rules) does not exist
    ! goal: absolute_file_name(prob_rewrite_rules(b_ast_cleanup_rewrite_rules),_178783,[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 extrasrc(external_functions_reals) does not exist
    ! goal: absolute_file_name(extrasrc(external_functions_reals),_183287,[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),_183287,[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),_184583,[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),_183909,[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),_184903,[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),_178641,[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: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),_201669,[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),_195975,[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),_179063,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bsets_clp.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),_191431,[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 probsrc(btypechecker) does not exist
    ! goal: absolute_file_name(probsrc(btypechecker),_179351,[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'),_179063,[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),_172663,[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),_170519,[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),_170519,[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),_145375,[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'),_119663,[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),_114537,[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),_111115,[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),_82133,[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 probsrc(error_manager) does not exist
    ! goal: absolute_file_name(probsrc(error_manager),_82279,[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(eventhandling) does not exist
    ! goal: absolute_file_name(probsrc(eventhandling),_77327,[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(gensym) does not exist
    ! goal: absolute_file_name(probsrc(gensym),_53145,[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(b_state_model_check) does not exist
    ! goal: absolute_file_name(probsrc(b_state_model_check),_53291,[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),_46319,[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),_46319,[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),_47699,[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),_46319,[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(bsyntaxtree) does not exist
    ! goal: absolute_file_name(probsrc(bsyntaxtree),_43185,[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),_12499,[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 extension('probhash/probhash') does not exist
    ! goal: absolute_file_name(extension('probhash/probhash'),_7799,[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'),_4665,[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 extrasrc(graphical_state_viewer_images) does not exist
    ! goal: absolute_file_name(extrasrc(graphical_state_viewer_images),_6895,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extension('user_signal/user_signal') does not exist
    ! goal: absolute_file_name(extension('user_signal/user_signal'),_7771,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/user_interrupts.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extension('user_signal/user_signal') does not exist
    ! goal: absolute_file_name(extension('user_signal/user_signal'),_7629,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extrasrc(meta_interface) does not exist
    ! goal: absolute_file_name(extrasrc(meta_interface),_8029,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probporsrc(static_analysis) does not exist
    ! goal: absolute_file_name(probporsrc(static_analysis),_8905,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/model_checker.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file dotsrc(bvisual) does not exist
    ! goal: absolute_file_name(dotsrc(bvisual),_8763,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extrasrc(bvisual2) does not exist
    ! goal: absolute_file_name(extrasrc(bvisual2),_9163,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file wdsrc(well_def_analyser) does not exist
    ! goal: absolute_file_name(wdsrc(well_def_analyser),_10039,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/eval_strings.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extrasrc(coverage_statistics) does not exist
    ! goal: absolute_file_name(extrasrc(coverage_statistics),_10231,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file dotsrc(visualize_graph) does not exist
    ! goal: absolute_file_name(dotsrc(visualize_graph),_10631,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file dotsrc(state_space_reduction) does not exist
    ! goal: absolute_file_name(dotsrc(state_space_reduction),_11031,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file dotsrc(reduce_graph_state_space) does not exist
    ! goal: absolute_file_name(dotsrc(reduce_graph_state_space),_11431,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file dotsrc(state_as_dot_graph) does not exist
    ! goal: absolute_file_name(dotsrc(state_as_dot_graph),_11831,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file dotsrc(state_custom_dot_graph) does not exist
    ! goal: absolute_file_name(dotsrc(state_custom_dot_graph),_12231,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file tcltkuisrc(prologTasks) does not exist
    ! goal: absolute_file_name(tcltkuisrc(prologTasks),_13299,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file cbcsrc(enabling_analysis) does not exist
    ! goal: absolute_file_name(cbcsrc(enabling_analysis),_13699,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file smt_solvers_interface(smt_solvers_interface) does not exist
    ! goal: absolute_file_name(smt_solvers_interface(smt_solvers_interface),_20177,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/solver_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(solver_interface) does not exist
    ! goal: absolute_file_name(probsrc(solver_interface),_14909,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_state_model_check.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(preferences) does not exist
    ! goal: absolute_file_name(probsrc(preferences),_47735,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(debug) does not exist
    ! goal: absolute_file_name(probsrc(debug),_47735,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(tools) does not exist
    ! goal: absolute_file_name(probsrc(tools),_47735,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(specfile) does not exist
    ! goal: absolute_file_name(probsrc(specfile),_47735,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(state_space_exploration_modes) does not exist
    ! goal: absolute_file_name(probsrc(state_space_exploration_modes),_47735,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(translate) does not exist
    ! goal: absolute_file_name(probsrc(translate),_47735,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.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),_47735,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(bmachine) does not exist
    ! goal: absolute_file_name(probsrc(bmachine),_47735,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(b_interpreter) does not exist
    ! goal: absolute_file_name(probsrc(b_interpreter),_47735,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(b_trace_checking) does not exist
    ! goal: absolute_file_name(probsrc(b_trace_checking),_47735,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(bsyntaxtree) does not exist
    ! goal: absolute_file_name(probsrc(bsyntaxtree),_47735,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(state_space) does not exist
    ! goal: absolute_file_name(probsrc(state_space),_47735,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extension('plspec/plspec/plspec_core') does not exist
    ! goal: absolute_file_name(extension('plspec/plspec/plspec_core'),_18523,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.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),_15243,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_trace_checking.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extrasrc(bvisual2) does not exist
    ! goal: absolute_file_name(extrasrc(bvisual2),_15911,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/eclipse_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probltlsrc(ltl) does not exist
    ! goal: absolute_file_name(probltlsrc(ltl),_15769,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extrasrc(mcdc_coverage) does not exist
    ! goal: absolute_file_name(extrasrc(mcdc_coverage),_16169,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extrasrc(predicate_debugger) does not exist
    ! goal: absolute_file_name(extrasrc(predicate_debugger),_16569,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extrasrc(refinement_checker) does not exist
    ! goal: absolute_file_name(extrasrc(refinement_checker),_17303,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_src_profile,true)
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(system_call) does not exist
    ! goal: absolute_file_name(probsrc(system_call),_20749,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tools_commands.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file cbcsrc(sap) does not exist
    ! goal: absolute_file_name(cbcsrc(sap),_18037,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file tcltkuisrc(ast_inspector) does not exist
    ! goal: absolute_file_name(tcltkuisrc(ast_inspector),_18437,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file tcltkuisrc(tcltk_tree_inspector) does not exist
    ! goal: absolute_file_name(tcltkuisrc(tcltk_tree_inspector),_18837,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probcspsrc(haskell_csp) does not exist
    ! goal: absolute_file_name(probcspsrc(haskell_csp),_19571,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probporsrc(dot_graphs_static_analysis) does not exist
    ! goal: absolute_file_name(probporsrc(dot_graphs_static_analysis),_21039,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probporsrc(static_analysis) does not exist
    ! goal: absolute_file_name(probporsrc(static_analysis),_21439,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probporsrc(ample_sets) does not exist
    ! goal: absolute_file_name(probporsrc(ample_sets),_21839,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probpgesrc(pge_algo) does not exist
    ! goal: absolute_file_name(probpgesrc(pge_algo),_22239,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extrasrc(before_after_predicates) does not exist
    ! goal: absolute_file_name(extrasrc(before_after_predicates),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])