Determinacy Checker
Determinacy Checker:
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(pragmas) does not exist
! goal: absolute_file_name(probsrc(pragmas),_3441,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/units_alias.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),_3803,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/units_alias.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(self_check) does not exist
! goal: absolute_file_name(probsrc(self_check),_4679,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/unit_parser.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),_4537,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/units_alias.pl')])
! warning: predicate units_alias:
unit_alias/2
is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic units_alias:
unit_alias/2
.
! near the top of this file.