Dynamic Predicates: profiling_term/2 profiling_term_with_if/3 profiling_condition/3 predicate/3 blocked/1 corouting/1 prof_all/1

384 Lines

33 Predicates

13 Exports

0 Imports

Imports	Exports
	Name: reset_dynamics/0 Name: call_for_profiling/1 Name: enable_profiling_naming/2 Name: enable_profiling_naming/3 Name: enable_profiling/1 Name: enable_profiling/2 Name: enable_profiling_all/1 Name: coroutines/1 Name: create_new_terms/2 Name: file/0 Name: pen/0 Name: memory/0 Name: clear_timers/0

Imports

Exports

Name: reset_dynamics/0

Name: call_for_profiling/1

Name: enable_profiling_naming/2

Name: enable_profiling_naming/3

Name: enable_profiling/1

Name: enable_profiling/2

Name: enable_profiling_all/1

Name: coroutines/1

Name: create_new_terms/2

Name: file/0

Name: pen/0

Name: memory/0

Name: clear_timers/0

Dynamic: true

create_new_startterm/2

create_new_startterm_aux/8

create_new_startterm_blocked/8

create_new_term/3

create_new_terms/2

create_new_terms2/2

create_new_terms2((:- block List),(:- block List)) :-
    to_be_blocked(List),
    !.

create_new_terms2((:- if(X)),(:- if(X))) :- !.

create_new_terms2((:- elif(X)),(:- elif(X))) :- !.

create_new_terms2((:- endif),(:- endif)) :- !.

create_new_terms2((:- else),(:- else)) :- !.

create_new_terms2((Head :- Body),[Term1,Term2]) :-
    functor(Head,Name,Arity),
    get_prolog_module(Module),
    predicate(Module,Name,Arity), % start term already generated for this predicate
    !,
    to_be_expanded(Name/Arity,Sort),
    create_new_term((Head :- Body),'_p',Term1),
    (Sort = fully -> create_new_term((Head :- Body),'_np',Term2) ; true).

create_new_terms2((Head :- Body),[Term1,Term2,Term3]) :-
    functor(Head,Name,Arity),
    to_be_expanded(Name/Arity,Sort), !,
    create_new_term((Head :- Body),'_p',Term1),
    (Sort = fully -> create_new_term((Head :- Body),'_np',Term2) ; true),
    create_new_startterm((Head :- Body),Term3).

create_new_terms2((Head --> Body),[Term1,Term2]) :-
    functor(Head,Name,Arity),
    get_prolog_module(Module),
    predicate(Module,Name,Arity), !,
    to_be_expanded(Name/Arity,Sort),
    create_new_term((Head --> Body),'_p',Term1),
    (Sort = fully -> create_new_term((Head --> Body),'_np',Term2) ; true).

create_new_terms2((Head --> Body),[Term1,Term2,Term3]) :-
    functor(Head,Name,Arity),
    to_be_expanded(Name/Arity,Sort), !, print(expanding(nomodule,Name,Arity)),nl,
    create_new_term((Head --> Body),'_p',Term1),
    (Sort = fully -> create_new_term((Head --> Body),'_np',Term2) ; true),
    create_new_startterm((Head --> Body),Term3).

create_new_terms2(Term,[Term1,Term2]) :-
    functor(Term,Name,Arity), Name \= '-->',
    get_prolog_module(Module),
    predicate(Module,Name,Arity), !,
    to_be_expanded(Name/Arity,Sort),
    create_new_term(Term,'_p',Term1),
    (Sort = fully -> create_new_term(Term,'_np',Term2) ; true).

create_new_terms2(Term,[Term1,Term2,Term3]) :-
    functor(Term,Name,Arity), Name \= '-->',
    to_be_expanded(Name/Arity,Sort), !,
    create_new_term(Term,'_p',Term1),
    (Sort = fully -> create_new_term(Term,'_np',Term2) ; true),
    create_new_startterm(Term,Term3).

create_new_terms2(Term,[Term]).

default_name/3

do_not_assert/2

do_the_common_stuff/7

do_the_common_stuff_aux/7

enable_profiling/1

Meta: enable_profiling(:)

enable_profiling/2

Meta: enable_profiling(+,:)

enable_profiling_all/1

enable_profiling_naming/2

Meta: enable_profiling_naming(+,:)

enable_profiling_naming/3

Meta: enable_profiling_naming(+,:,:)

profiled_predicates/0

Determinacy Checker:

* Non-determinate: profiler:prof_on/1 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: profiler:prof_off/1 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: profiler:enter_coro/0 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: profiler:leave_coro/0 (clause 1)
* Indexing cannot distinguish this from clause 2.
! warning: predicate profiler:profiling_term/1 is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic profiler:profiling_term/1 .
! near the top of this file.
* Non-determinate: profiler:enable_profiling/1 (clause 2)
* Indexing cannot distinguish this from clause 4.
! warning: predicate profiler:tcl/1 is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic profiler:tcl/1 .
! near the top of this file.
! warning: predicate profiler:rect/2 is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic profiler:rect/2 .
! near the top of this file.
* Non-determinate: profiler:call_for_profiling/1 (clause 1)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: profiler:coroutines/1 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: profiler:coroutines/1 (clause 1)
* Calls nondet predicate retract/1.
* Non-determinate: profiler:to_be_expanded/2 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: profiler:to_be_expanded/2 (clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: profiler:to_be_expanded/2 (clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: profiler:to_be_expanded/2 (clause 2)
* Calls nondet predicate profiler:profiling_term/2 .
* Non-determinate: profiler:to_be_expanded/2 (clause 3)
* Calls nondet predicate profiler:prof_all/1 .
* Non-determinate: profiler:to_be_blocked/1 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: profiler:create_new_body/3 (clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: profiler:create_new_body/3 (clause 3)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: profiler:create_new_body/3 (clause 4)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: profiler:create_new_body/3 (clause 5)
* Indexing cannot distinguish this from clause 8.
* Non-determinate: profiler:create_new_body/3 (clause 6)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: profiler:create_new_body/3 (clause 7)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: profiler:create_new_body/3 (clause 8)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: profiler:create_new_body/3 (clause 9)
* Indexing cannot distinguish this from clause 10.
* Non-determinate: profiler:create_new_body/3 (clause 9)
* Calls nondet predicate profiler:blocked/1 .
* Non-determinate: profiler:create_new_body/3 (clause 10)
* Indexing cannot distinguish this from clause 11.
* Non-determinate: profiler:create_new_term/3 (clause 1)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: profiler:create_new_term/3 (clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: profiler:create_new_startterm_blocked/8 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: profiler:create_new_startterm_blocked/8 (clause 1)
* Calls nondet predicate profiler:profiling_term_with_if/3 .
* Non-determinate: profiler:create_new_startterm_blocked/8 (clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: profiler:create_new_startterm_blocked/8 (clause 2)
* Calls nondet predicate profiler:profiling_condition/3 .
* Non-determinate: profiler:create_new_startterm_blocked/8 (clause 3)
* Calls nondet predicate profiler:profiling_term/2 .
* Non-determinate: profiler:create_new_startterm_aux/8 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: profiler:create_new_startterm_aux/8 (clause 1)
* Calls nondet predicate profiler:profiling_term_with_if/3 .
* Non-determinate: profiler:create_new_startterm_aux/8 (clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: profiler:create_new_startterm_aux/8 (clause 2)
* Calls nondet predicate profiler:profiling_condition/3 .
* Non-determinate: profiler:create_new_startterm_aux/8 (clause 3)
* Calls nondet predicate profiler:profiling_term/2 .

Name: assertz/1
Name: !
Name: profiling_term/2	dynamic predicate
Name: not/1
Name: do_not_assert/2	Module: profiler
Name: prof_all/1	dynamic predicate
Name: get_prolog_module/1	Module: profiler
Name: functor/3
Name: RECURSIVE_CALL/1	Module: profiler

Name: fail
Name: nl
Name: print/1
Name: RECURSIVE_CALL/1	Module: profiler
Name: prof_off/1	Module: profiler
Name: call/1
Name: prof_on/1	Module: profiler
Name: functor/3
Name: !
Name: pen	Module: foo_error

Name: assertz/1
Name: corouting/1	Module: profiler
Name: retract/1

Name: coroutines/1	Module: profiler
Name: create_new_body/3	Module: profiler
Name: create_new_startterm/2	Module: profiler

Name: =../2
Name: atom_concat/3
Name: to_be_expanded/2	Module: profiler
Name: functor/3
Name: corouting/1	Module: profiler
Name: blocked/1	dynamic predicate
Name: RECURSIVE_CALL/3	Module: profiler
Name: var/1
Name: !
Name: =/2

Name: create_new_terms2/2	Module: profiler
Name: assert_if_needed/1	Module: profiler

Name: create_new_startterm/2	Module: profiler
Name: true
Name: create_new_term/3	Module: profiler
Name: =/2
Name: ->/3
Name: !
Name: to_be_expanded/2	Module: profiler
Name: \=/2
Name: functor/3
Name: predicate/3	dynamic predicate
Name: get_prolog_module/1	Module: profiler
Name: nl
Name: print/1
Name: to_be_blocked/1	Module: profiler

Name: fail
Name: restart_timers	Module: foo_error
Name: stop_timers	Module: foo_error

Name: fail
Name: handle_redo/1	Module: foo_error
Name: handle_success/1	Module: foo_error

Name: test2/2	Module: test2
Name: test1/2	Module: test2
Name: call_for_profiling/1	Module: profiler

Name: fail
Name: handle_fail/1	Module: foo_error
Name: handle_entry/1	Module: foo_error

Name: nl
Name: print_predicates/1	Module: profiler
Name: print/1
Name: findall/3

prob_prolog/extensions/profiler/profiler.pl

Modules

Predicates of profiler