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 argument 1 of absolute_file_name/3
! file probsrc(prob_cli) does not exist
! goal: absolute_file_name(probsrc(prob_cli),_9083,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/tests/test_runner.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(junit_tests) does not exist
! goal: absolute_file_name(probsrc(junit_tests),_3969,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/tests/test_runner.pl')])