Determinacy Checker
Determinacy Checker:
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(self_check) does not exist
! goal: absolute_file_name(probsrc(self_check),_3299,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pltables/pltables_export_tools.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),_3661,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pltables/pltables_export_tools.pl')])