Determinacy Checker
Determinacy Checker:
! 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_debug_flag,true)
! Existence error in debug:
global_debug_flag/0
! procedure debug:
global_debug_flag/0
does not exist
! goal: debug:global_debug_flag
! Existence error in debug:
use_timer/0
! procedure debug:
use_timer/0
does not exist
! goal: debug:use_timer
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_40659,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/error_manager.pl')])