303 Lines

46 Predicates

0 Exports

10 Imports

Imports	Exports
Name: construct_real/2 Module: kernel_reals Name: real_addition_wf/4 Module: kernel_reals Name: real_subtraction_wf/4 Module: kernel_reals Name: real_multiplication_wf/4 Module: kernel_reals Name: real_division_wf/4 Module: kernel_reals Name: real_power_of_wf/5 Module: kernel_reals Name: real_round_wf/3 Module: kernel_reals Name: real_unop_wf/4 Module: kernel_reals Name: real_binop_wf/5 Module: kernel_reals Name: real_comp_wf/5 Module: kernel_reals

Imports

Exports

Name: construct_real/2

Module: kernel_reals

Name: real_addition_wf/4

Module: kernel_reals

Name: real_subtraction_wf/4

Module: kernel_reals

Name: real_multiplication_wf/4

Module: kernel_reals

Name: real_division_wf/4

Module: kernel_reals

Name: real_power_of_wf/5

Module: kernel_reals

Name: real_round_wf/3

Module: kernel_reals

Name: real_unop_wf/4

Module: kernel_reals

Name: real_binop_wf/5

Module: kernel_reals

Name: real_comp_wf/5

Module: kernel_reals

Predicates

Predicates:

Block: RABS(-,?,?)

Block: RACOS(-,?,?)

Block: RACOSH(-,?,?)

Block: RACOT(-,?,?)

Block: RACOTH(-,?,?)

Block: RASIN(-,?,?)

Block: RASINH(-,?,?)

Block: RATAN(-,?,?)

Block: RATANH(-,?,?)

Block: RCOS(-,?,?)

Block: RCOSH(-,?,?)

Block: RCOT(-,?,?)

Block: RCOTH(-,?,?)

Block: REXP(-,?,?)

Block: RFRACTION(-,?,?)

RGEQ/4

RGT/4

RINTEGER/3

Block: RINTEGER(-,?,?)

Block: RLOGe(-,?,?)

Block: ROUND(-,?,?)

Block: RSIGN(-,?,?)

Block: RSIN(-,?,?)

Block: RSINH(-,?,?)

Block: RSQRT(-,?,?)

Block: RTAN(-,?,?)

Block: RTANH(-,?,?)

Block: STRING_TO_REAL(-,?,?)

Determinacy Checker:

! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_core_only,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(plspec_patch_libraries,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(plspec_patch_libraries,true)
! 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 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 extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_9431,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/error_manager.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file covsrc(coverage_tools_annotations) does not exist
! goal: absolute_file_name(covsrc(coverage_tools_annotations),_9553,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_waitflags.pl')])
! warning: predicate user:expects_waitflag/1 is discontiguous.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- discontiguous user:expects_waitflag/1 .
! near the top of this file.
! warning: predicate user:external_fun_type/3 is discontiguous.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- discontiguous user:external_fun_type/3 .
! near the top of this file.

prob_prolog/src/external_functions_reals.pl

Modules

Predicates of external_functions_reals.pl

Module Information

303 Lines

46 Predicates

0 Exports

10 Imports

Predicates:

Determinacy Checker: