pe

Imports	Exports
	Name: pe/2 Name: partially_evaluate/2 Name: partially_evaluate_and_load/2 Name: fast_partially_evaluate_and_load/3 Name: fast_partially_evaluate_and_load/4 Name: partially_evaluate_fail_detect/2 Name: partially_evaluate_fail_detect/3 Name: specialized_predicate/2 Name: generalize_call/3 Name: clear_specialized_code/0 Name: warnings_occured/0 Name: unfold/1 Name: unfold/2 Name: execute/1 Name: execute/2 Name: memo/3 Name: forward_block/1

Imports

Exports

Name: pe/2

Name: partially_evaluate/2

Name: partially_evaluate_and_load/2

Name: fast_partially_evaluate_and_load/3

Name: fast_partially_evaluate_and_load/4

Name: partially_evaluate_fail_detect/2

Name: partially_evaluate_fail_detect/3

Name: specialized_predicate/2

Name: generalize_call/3

Name: clear_specialized_code/0

Name: warnings_occured/0

Name: unfold/1

Name: unfold/2

Name: execute/1

Name: execute/2

Name: memo/3

Name: forward_block/1

Predicates

Predicates:

print_message/1

Determinacy Checker

Determinacy Checker:

! warning: predicate pe:is_unfolded/3 is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic pe:is_unfolded/3 .
! near the top of this file.
! warning: predicate pe:not_unfolded_or_memoized/2 is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic pe:not_unfolded_or_memoized/2 .
! near the top of this file.
* Non-determinate: pe:is_unfolded_somewhere/3 (clause 1)
* Calls nondet predicate pe:is_unfolded/3 .
* Non-determinate: pe:is_memoized_somewhere/4 (clause 1)
* Calls nondet predicate pe:is_memoized/4 .
* Non-determinate: pe:execute_predicate_in_context/3 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: pe:execute_predicate_in_context/3 (clause 1)
* Calls nondet predicate pe:execute_predicate/3 .
* Non-determinate: pe:execute_predicate_in_context/3 (clause 2)
* Calls nondet predicate pe:execute_predicate/3 .
* Non-determinate: pe:get_block_declaration/3 (clause 1)
* Calls nondet predicate pe:block_declaration/4 .
* Non-determinate: pe:inc_nr_warnings/0 (clause 1)
* Calls nondet predicate retract/1.
* Non-determinate: pe:warnings_occured/0 (clause 1)
* Calls nondet predicate pe:nr_warnings/1 .
! warning: predicate pe:no_block_unfold/2 is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic pe:no_block_unfold/2 .
! near the top of this file.
* Non-determinate: pe:has_block_declaration/1 (clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: pe:can_instantiate_or_fail/1 (clause 4)
* Indexing cannot distinguish this from clause 5.
* Non-determinate: pe:can_instantiate_or_fail/1 (clause 5)
* Indexing cannot distinguish this from clause 6.
* Non-determinate: pe:try_reuse_specialized_predicate/2 (clause 1)
* Calls nondet predicate pe:specialized_predicate/2 .
* Non-determinate: pe:post_process_specialized_clause/5 (clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: pe:post_process_specialized_clause/5 (clause 2)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: pe:b_comparison/2 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: pe:b_comparison/2 (clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: pe:b_comparison/2 (clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: pe:b_comparison/2 (clause 4)
* Indexing cannot distinguish this from clause 5.
* Non-determinate: pe:b_is_operator/3 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: pe:b_is_operator/3 (clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: pe:b_is_operator/3 (clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: pe:b_is_operator/3 (clause 4)
* Indexing cannot distinguish this from clause 5.
* Non-determinate: pe:b_is_operator/3 (clause 5)
* Indexing cannot distinguish this from clause 6.
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(partially_evaluate_compile,true)
* Non-determinate: pe:is_currently_specializing/1 (clause 1)
* Calls nondet predicate pe:currently_specializing/1 .
* Non-determinate: pe:is_currently_specializing/1 (clause 2)
* Calls nondet predicate pe:currently_specializing/1 .
* Non-determinate: pe:single_clause/3 (clause 2)
* Calls nondet predicate pe:clause_generated/3 .
* Non-determinate: pe:get_new_pred/2 (clause 1)
* Calls nondet predicate retract/1.