Determinacy Checker
Determinacy Checker:
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_7537,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/extensions/regexp/regexp.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(pathes_lib) does not exist
! goal: absolute_file_name(probsrc(pathes_lib),_4567,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/extensions/regexp/regexp.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools_printing) does not exist
! goal: absolute_file_name(probsrc(tools_printing),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/extensions/regexp/test_regexp_unicode.pl')])