Dynamic Predicates: executable_builtin/1

246 Lines

15 Predicates

8 Exports

2 Imports

Imports	Exports
Name: maplist/2 Module: lists Name: contains_var/2 Module: terms	Name: is_builtin/1 Name: executable_builtin/1 Name: is_decidable_builtin/2 Name: specialize_builtin/3 Name: post_process_builtin/2 Name: check_ground/2 Name: check_nonvar/2 Name: add_ground_info/3

Imports

Exports

Name: maplist/2

Module: lists

Name: contains_var/2

Module: terms

Name: is_builtin/1

Name: executable_builtin/1

Name: is_decidable_builtin/2

Name: specialize_builtin/3

Name: post_process_builtin/2

Name: check_ground/2

Name: check_nonvar/2

Name: add_ground_info/3

Predicates

Predicates:

add_ground_info/3

arithmetic_expression/1

is_decidable_builtin/1

is_decidable_builtin/2

is_list_skeleton/1

is_list_skeleton_aux/1

list_ok_for_eqdotdot/1

post_process_builtin/2

arithmetic_expression/1

check_ground/2

check_nonvar/2

executable_builtin/1

Dynamic: true

executable_builtin(is(_,Expr)) :-
    ground(Expr).

executable_builtin(arg(Nr,T,_)) :-
    number(Nr), nonvar(T).

executable_builtin(functor(T,F,N)) :-
    (nonvar(T) ; atomic(F), number(N)).

executable_builtin('='(_X,_Y)).

executable_builtin(true).

executable_builtin(fail).

executable_builtin(false).

executable_builtin(otherwise).

executable_builtin(repeat).

executable_builtin('=..'(X,Y)) :-
       (nonvar(X)) ; (list_ok_for_eqdotdot(Y)).

executable_builtin('<'(X,Y)) :-
       arithmetic_expression(X),arithmetic_expression(Y).

executable_builtin('=<'(X,Y)) :-
       arithmetic_expression(X),arithmetic_expression(Y).

executable_builtin('>'(X,Y)) :-
       arithmetic_expression(X),arithmetic_expression(Y).

executable_builtin('>='(X,Y)) :-
       arithmetic_expression(X),arithmetic_expression(Y).

executable_builtin('@<'(X,Y)) :- '?='(X,Y). % is this sufficient ??

executable_builtin('@=<'(X,Y)) :-'?='(X,Y). % is this sufficient ??

executable_builtin('@>'(X,Y)) :-'?='(X,Y). % is this sufficient ??

executable_builtin('@>='(X,Y)) :-'?='(X,Y). % is this sufficient ??

executable_builtin(nonvar(X)) :-
       nonvar(X).

executable_builtin(var(X)) :-
       nonvar(X).

executable_builtin(ground(X)) :-
       ground(X).

executable_builtin(number(X)) :-
       nonvar(X).

executable_builtin(float(X)) :-
       nonvar(X).

executable_builtin(integer(X)) :-
       nonvar(X).

executable_builtin(atomic(X)) :-
       nonvar(X).

executable_builtin(atom(X)) :-
       nonvar(X).

executable_builtin(call(X)) :-
       nonvar(X),
       executable_builtin(X).

executable_builtin( dif(X,Y)) :- '?='(X,Y).

executable_builtin('\\=='(X,Y)) :- '?='(X,Y).

executable_builtin( '=='(X,Y)) :- '?='(X,Y).

executable_builtin( '\\='(X,Y)) :- '?='(X,Y).

executable_builtin('=:='(X,Y)) :-
    arithmetic_expression(X),arithmetic_expression(Y).

executable_builtin('=\\='(X,Y)) :-
    arithmetic_expression(X),arithmetic_expression(Y).

executable_builtin(append(X,_,Y)) :-
    (is_list_skeleton(X) ; is_list_skeleton(Y)).

executable_builtin(sort(X,_)) :-
    ground(X).

executable_builtin(member(_,Y)) :-
    is_list_skeleton(Y).

executable_builtin(nonmember(X,Y)) :- ground(X), ground(Y).

executable_builtin(length(Y)) :-
    is_list_skeleton(Y).

executable_builtin(atom_concat(X,Y,_)) :-
       atom(X), atom(Y).

executable_builtin(atom_codes(A,_)) :- atom(A).

executable_builtin(number_codes(A,_)) :- number(A).

executable_builtin(atom_chars(A,_)) :- atom(A).

executable_builtin(number_chars(A,_)) :- number(A).

executable_builtin(atom_length(A,_)) :- atom(A).

is_builtin/1

is_decidable_builtin/1

is_decidable_builtin/2

is_list_skeleton/1

is_list_skeleton_aux/1

list_ok_for_eqdotdot/1

post_process_builtin/2

Determinacy Checker:

* Non-determinate: builtin_tools:executable_builtin/1 (clause 3)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: builtin_tools:executable_builtin/1 (clause 10)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: builtin_tools:executable_builtin/1 (clause 34)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: builtin_tools:is_decidable_builtin/2 (clause 1)
* Indexing cannot distinguish this from clause 13.
* Non-determinate: builtin_tools:is_decidable_builtin/2 (clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: builtin_tools:is_decidable_builtin/2 (clause 2)
* Indexing cannot distinguish this from clause 13.
* Non-determinate: builtin_tools:is_decidable_builtin/2 (clause 3)
* Indexing cannot distinguish this from clause 13.
* Non-determinate: builtin_tools:is_decidable_builtin/2 (clause 4)
* Indexing cannot distinguish this from clause 13.
* Non-determinate: builtin_tools:is_decidable_builtin/2 (clause 5)
* Indexing cannot distinguish this from clause 13.
* Non-determinate: builtin_tools:is_decidable_builtin/2 (clause 6)
* Indexing cannot distinguish this from clause 13.
* Non-determinate: builtin_tools:is_decidable_builtin/2 (clause 7)
* Indexing cannot distinguish this from clause 13.
* Non-determinate: builtin_tools:is_decidable_builtin/2 (clause 8)
* Indexing cannot distinguish this from clause 13.
* Non-determinate: builtin_tools:is_decidable_builtin/2 (clause 9)
* Indexing cannot distinguish this from clause 13.
* Non-determinate: builtin_tools:is_decidable_builtin/2 (clause 10)
* Indexing cannot distinguish this from clause 13.
* Non-determinate: builtin_tools:is_decidable_builtin/2 (clause 11)
* Indexing cannot distinguish this from clause 13.
* Non-determinate: builtin_tools:is_decidable_builtin/2 (clause 12)
* Indexing cannot distinguish this from clause 13.
* Non-determinate: builtin_tools:safe_member/2 (clause 3)
* This clause contains a disjunction not forced to be deterministic.

Name: =/2
Name: check_ground/2	Module: builtin_tools
Name: ->/3

Name: maplist/2	Module: lists
Name: term_variables/2
Name: !
Name: contains_var/2	Module: terms
Name: safe_member/2	Module: builtin_tools
Name: var/1

Name: !
Name: contains_var/2	Module: terms
Name: safe_member/2	Module: builtin_tools
Name: var/1
Name: nonvar/1

Name: atom/1
Name: number/1
Name: is_list_skeleton/1	Module: builtin_tools
Name: ground/1
Name: arithmetic_expression/1	Module: builtin_tools
Name: ?=/2
Name: RECURSIVE_CALL/1	Module: builtin_tools
Name: nonvar/1
Name: list_ok_for_eqdotdot/1	Module: builtin_tools
Name: atomic/1

Name: is_decidable_builtin/1	Module: builtin_tools
Name: check_nonvar/2	Module: builtin_tools
Name: check_ground/2	Module: builtin_tools
Name: member/2
Name: not/1
Name: is_list_skeleton/1	Module: builtin_tools

builtin_tools

prob_prolog/src/partial_evaluator/builtin_tools.pl

Modules

Predicates of builtin_tools

Module Information

Dynamic Predicates: executable_builtin/1

246 Lines

15 Predicates

8 Exports

2 Imports

Predicates:

add_ground_info/3

arithmetic_expression/1

check_ground/2

check_nonvar/2

executable_builtin/1

is_builtin/1

is_decidable_builtin/1

is_decidable_builtin/2

is_list_skeleton/1

is_list_skeleton_aux/1

list_ok_for_eqdotdot/1

post_process_builtin/2

safe_member/2

specialize_builtin/3

update/0

Determinacy Checker:

Name: is_list_skeleton_aux/1	Module: builtin_tools
Name: nonvar/1

Name: =/2
Name: =../2
Name: !
Name: list_ok_for_eqdotdot/1	Module: builtin_tools
Name: nonvar/1
Name: term_variables/2

Name: fail
Name: nl
Name: print/1
Name: RECURSIVE_CALL/2	Module: builtin_tools
Name: =/2
Name: !
Name: var/1

Name: =/2
Name: call/1
Name: !
Name: executable_builtin/1	Module: builtin_tools
Name: check_nonvar/2	Module: builtin_tools
Name: ->/3
Name: term_variables/2
Name: check_ground/2	Module: builtin_tools