241 Lines

cblock_or(A,B,Name,Call,Args,Rules,CallA,CallB,AbortA,AbortB) :-
    atom_concat(Name,'__or1',NameA),
    atom_concat(Name,'__or2',NameB),
    CallInA = (AbortB=1, Call),
    CallInB = (AbortA=1, Call),
    cblock_with_abort(A,NameA,CallInA,[AbortB|Args],_,RulesA),
    cblock_with_abort(B,NameB,CallInB,[AbortA|Args],_,RulesB),
    CallA =.. [NameA,AbortA,AbortB|Args],
    CallB =.. [NameB,AbortB,AbortA|Args],
    append(RulesA,RulesB,Rules).

Calls:

Name: append/3
Name: =../2
Name: cblock_with_abort/6	Module: fastwhen
Name: =/2
Name: atom_concat/3

Called:

Name: cblock_with_abort/6	Module: fastwhen
Name: cblock_without_abort/5	Module: fastwhen

cblock_with_abort/6

cblock_with_abort(Spec,Name,Call,Args,Abort,Rules) :-
    dnf((nonvar(Abort);Spec),DNF),!,
    AllArgs = [Abort|Args],
    create_block(DNF,Name,AllArgs,Block),
    copy_term([AllArgs,Abort],[Args1,Abort1]),
    copy_term([AllArgs,Call],[Args2,Call2]),
    Head1 =.. [Name|Args1],
    Head2 =.. [Name|Args2],
    Rules = [Block, (Head1:-nonvar(Abort1),!), (Head2:-Call2)].

cblock_with_abort(ground(G),Name,Call,Args,Abort,[R1,Block,R2Abort,R2]) :-
    atom_concat(Name,'__ground2',Name2),
    create_ground_abort1(G,Name,Name2,Call,Args,Abort,R1),
    create_ground_abort_block(Name2,Args,Block),
    create_ground_abort2a(Name2,Args,R2Abort),
    create_ground_abort2(Name2,Call,Args,R2).

cblock_with_abort( (A;B),Name,Call,Args,Abort,[Or|Rules]) :-
    copy_term([A,B,Call,Args,Abort],[NA,NB,NCall,NArgs,NAbort]),
    cblock_or(NA,NB,Name,NCall,NArgs,Rules,CallA,CallB,AbortA,AbortB),
    Head =.. [Name,NAbort|NArgs],
    Or = ( Head :- fastwhen:or_abort(NAbort,AbortA,AbortB), CallA, CallB ).

cblock_with_abort( (A,B),Name,Call,Args,Abort,Rules) :-
    atom_concat(Name,'__and2',Name2),
    CallToB =.. [Name2,Abort|Args],
    cblock_with_abort(A,Name,CallToB,Args,Abort,RulesA),
    cblock_with_abort(B,Name2,Call,Args,Abort,RulesB),
    append(RulesA,RulesB,Rules).

Calls:

Name: append/3
Name: RECURSIVE_CALL/6	Module: fastwhen
Name: =../2
Name: atom_concat/3
Name: =/2
Name: cblock_or/10	Module: fastwhen
Name: copy_term/2
Name: create_ground_abort2/4	Module: fastwhen
Name: create_ground_abort2a/3	Module: fastwhen
Name: create_ground_abort_block/3	Module: fastwhen
Name: create_ground_abort1/7	Module: fastwhen
Name: create_block/4	Module: fastwhen
Name: !
Name: dnf/2	Module: fastwhen

Called:

Name: cblock_or/10

Module: fastwhen

cblock_without_abort/5

cblock_without_abort(Spec,Name,Call,Args,Rules) :-
    dnf(Spec,DNF),!,
    create_block(DNF,Name,Args,Block),
    copy_term([Args,Call],[NArgs,NCall]),
    Head =.. [Name|NArgs],
    Rules = [Block,( Head :- NCall )].

cblock_without_abort(ground(G),Name,Call,Args,[R1,Block,R2]) :-
    atom_concat(Name,'__ground2',Name2),
    create_ground1(G,Name,Name2,Call,Args,R1),
    create_ground_block(Name2,Args,Block),
    create_ground2(Name2,Call,Args,R2).

cblock_without_abort( (A;B),Name,Call,Args,[Or|Rules]) :-
    copy_term([A,B,Call,Args],[NA,NB,NCall,NArgs]),
    cblock_or(NA,NB,Name,NCall,NArgs,Rules,CallA,CallB,_AbortA,_AbortB),
    Head =.. [Name|NArgs],
    Or = ( Head :- CallA, CallB ).

cblock_without_abort( (A,B),Name,Call,Args,Rules) :-
    atom_concat(Name,'__and2',Name2),
    CallToB =.. [Name2|Args],
    cblock_without_abort(A,Name,CallToB,Args,RulesA),
    cblock_without_abort(B,Name2,Call,Args,RulesB),
    append(RulesA,RulesB,Rules).

Calls:

Name: append/3
Name: RECURSIVE_CALL/5	Module: fastwhen
Name: =../2
Name: atom_concat/3
Name: =/2
Name: cblock_or/10	Module: fastwhen
Name: copy_term/2
Name: create_ground2/4	Module: fastwhen
Name: create_ground_block/3	Module: fastwhen
Name: create_ground1/6	Module: fastwhen
Name: create_block/4	Module: fastwhen
Name: !
Name: dnf/2	Module: fastwhen

Called:

Name: fastwhen_generate/5

Module: fastwhen

create_block/4

create_block(DNF,Name,Args,(:-block Blocking) ) :-
length(Args,Arity),
create_block2(DNF,Name,Args,Arity,Blocking).

Calls:

Name: create_block2/5	Module: fastwhen
Name: length/2

Called:

Name: cblock_with_abort/6	Module: fastwhen
Name: cblock_without_abort/5	Module: fastwhen

create_block2/5

create_block2([Disj|Rest],Name,Args,Arity,Blocking) :-
    functor(Block,Name,Arity),
    create_block3(Args,1,Disj,Block),
    ( Rest == [] ->
    Blocking = Block
    ;
    Blocking = (Block,RBlock),
    create_block2(Rest,Name,Args,Arity,RBlock)).

Calls:

Name: RECURSIVE_CALL/5	Module: fastwhen
Name: =/2
Name: ==/2
Name: ->/3
Name: create_block3/4	Module: fastwhen
Name: functor/3

Called:

Name: create_block/4

Module: fastwhen

create_block3/4

create_block3([],_,_,_Block).

create_block3([Arg|RestArgs],Index,Disj,Block) :-
    ( strict_member(Arg,Disj) ->
    Sym = (-)
    ;
    Sym = (?)),
    arg(Index,Block,Sym),
    I2 is Index+1,
    create_block3(RestArgs,I2,Disj,Block).

Calls:

Name: RECURSIVE_CALL/4	Module: fastwhen
Name: is/2
Name: arg/3
Name: =/2
Name: strict_member/2	Module: fastwhen
Name: ->/3

Called:

Name: create_block2/5

Module: fastwhen

create_ground1/6

create_ground1(G,Name,Name2,Call,Args,Rule) :-
create_ground_gen_1(G,Name,Name2,Call,Args,false,_,Rule).

Calls:

Name: create_ground_gen_1/8

Module: fastwhen

Called:

Name: cblock_without_abort/5

Module: fastwhen

create_ground2/4

create_ground2(Name,Call,Args,Rule) :-
create_ground_gen_2(Name,Call,Args,false,Rule).

Calls:

Name: create_ground_gen_2/5

Module: fastwhen

Called:

Name: cblock_without_abort/5

Module: fastwhen

create_ground_abort1/7

create_ground_abort1(G,Name,Name2,Call,Args,Abort,Rule) :-
create_ground_gen_1(G,Name,Name2,Call,Args,true,Abort,Rule).

Calls:

Name: create_ground_gen_1/8

Module: fastwhen

Called:

Name: cblock_with_abort/6

Module: fastwhen

create_ground_abort2/4

create_ground_abort2(Name,Call,Args,Rule) :-
create_ground_gen_2(Name,Call,Args,true,Rule).

Calls:

Name: create_ground_gen_2/5

Module: fastwhen

Called:

Name: cblock_with_abort/6

Module: fastwhen

create_ground_abort2a/3

create_ground_abort2a(Name,Args,Rule) :-
    copy_term(Args,NArgs),
    Head =.. [Name,Abort,_,_|NArgs],
    Rule = ( Head :- nonvar(Abort),! ).

Calls:

Name: =/2
Name: =../2
Name: copy_term/2

Called:

Name: cblock_with_abort/6

Module: fastwhen

create_ground_abort_block/3

create_ground_abort_block(Name,Args,Rule) :-
    length(Args,NumberArgs),
    BArity is NumberArgs+3,
    functor(Blocking,Name,BArity),
    Blocking =.. [Name,-,-|QMarks],
    all_same(QMarks,?),
    Rule = (:- block Blocking).

Calls:

Name: =/2
Name: all_same/2	Module: fastwhen
Name: =../2
Name: functor/3
Name: is/2
Name: length/2

Called:

Name: cblock_with_abort/6

Module: fastwhen

create_ground_block/3

create_ground_block(Name,Args,Rule) :-
    length(Args,NumberArgs),
    BArity is NumberArgs+2,
    functor(Blocking,Name,BArity),
    Blocking =.. [Name,-|QMarks],
    all_same(QMarks,?),
    Rule = (:- block Blocking).

Calls:

Name: =/2
Name: all_same/2	Module: fastwhen
Name: =../2
Name: functor/3
Name: is/2
Name: length/2

Called:

Name: cblock_without_abort/5

Module: fastwhen

create_ground_gen_1/8

create_ground_gen_1(G,Name,Name2,Call,Args,WithAbort,Abort,Rule) :-
    copy_term([G,Call,Args,Abort],[NG,NCall,NArgs,NAbort]),
    ( WithAbort == false -> HeadArgs=NArgs, CallArgs=[H,T|NArgs]
    ; WithAbort == true -> HeadArgs=[NAbort|NArgs], CallArgs=[NAbort,H,T|NArgs] ),
    Head =.. [Name|HeadArgs],
    Call2 =.. [Name2|CallArgs],
    Rule = ( Head :- term_variables(NG,Vars),
    ( Vars==[] -> NCall; Vars=[H|T] -> Call2) ).

Calls:

Name: =/2
Name: =../2
Name: ==/2
Name: ->/2
Name: ->/3
Name: copy_term/2

Called:

Name: create_ground_abort1/7	Module: fastwhen
Name: create_ground1/6	Module: fastwhen

create_ground_gen_2/5

create_ground_gen_2(Name,Call,Args,WithAbort,Rule) :-
    copy_term([Call,Args],[NCall,NArgs]),
    ( WithAbort == false -> HeadArgs=[H,T|NArgs], CallArgs=[H2,T2|NArgs]
    ; WithAbort == true -> HeadArgs=[Abort,H,T|NArgs], CallArgs=[Abort,H2,T2|NArgs]),
    Head =.. [Name|HeadArgs],
    RCall =.. [Name|CallArgs],
    Rule = ( Head :- term_variables([H|T],Vars),
    ( Vars==[] -> NCall; Vars=[H2|T2] -> RCall) ).

Calls:

Name: =/2
Name: =../2
Name: ==/2
Name: ->/2
Name: ->/3
Name: copy_term/2

Called:

Name: create_ground2/4	Module: fastwhen
Name: create_ground_abort2/4	Module: fastwhen

distribute/3

distribute([],_,[]).

distribute([A|Rest],F2,New) :-
    distribute2(F2,A,NewFormula),
    append(NewFormula,NewRest,New),
    distribute(Rest,F2,NewRest).

Calls:

Name: RECURSIVE_CALL/3	Module: fastwhen
Name: append/3
Name: distribute2/3	Module: fastwhen

Called:

Name: dnf/2

Module: fastwhen

distribute2/3

distribute2([],_A,[]).

distribute2([F|Frest],A,[N|Nrest]) :-
append(A,F,N),
distribute2(Frest,A,Nrest).

Calls:

Name: RECURSIVE_CALL/3	Module: fastwhen
Name: append/3

Called:

Name: distribute/3

Module: fastwhen

dnf/2

dnf(F,[Disj]) :-
    is_disjunction(F,Disj),!.

dnf( (A;B), Konj) :-
    dnf(A,AD),dnf(B,BD),
    distribute(AD,BD,Konj).

dnf( (A,B), Konj) :-
    dnf(A,AD),append(AD,BD,Konj),dnf(B,BD).

Calls:

Name: RECURSIVE_CALL/2	Module: fastwhen
Name: append/3
Name: distribute/3	Module: fastwhen
Name: !
Name: is_disjunction/2	Module: fastwhen

Called:

Name: cblock_with_abort/6	Module: fastwhen
Name: cblock_without_abort/5	Module: fastwhen

fastwhen_generate/4

fastwhen_generate(Rule,Spec,Call,Rules) :-
fastwhen_generate(Rule,Spec,Call,[],Rules).

Calls:

Name: fastwhen_generate/5

Module: fastwhen

Called:

Name: fastwhen_generate/4

Module: fastwhen

fastwhen_generate/5

fastwhen_generate(Rule,Spec,Call,Options,Rules) :-
    Rule =.. [Name|Args],
    cblock_without_abort(Spec,Name,Call,Args,Rules),
    ( member(verbose,Options) ->
    print_rules(Rule,Spec,Call,Rules)
    ; true).

Calls:

Name: true
Name: print_rules/4	Module: fastwhen
Name: member/2
Name: ->/3
Name: cblock_without_abort/5	Module: fastwhen
Name: =../2

Called:

Name: fastwhen_generate/4

Module: fastwhen

is_disjunction/2

is_disjunction(nonvar(V),[V]).

is_disjunction( (A;B), V) :-
    is_disjunction(A,AV),
    append(AV,BV,V),
    is_disjunction(B,BV).

Calls:

Name: RECURSIVE_CALL/2	Module: fastwhen
Name: append/3

Called:

Name: dnf/2

Module: fastwhen

or_abort/3

Block: or_abort(-,-,-)

or_abort(U,A,B) :-
(nonvar(U) -> A=1,B=1 ; true).

Calls:

Name: true
Name: =/2
Name: nonvar/1
Name: ->/3

print_rules/4

print_rules(Rule,Spec,Call,Rules) :-
    print('Generated the following predicates for '),
    copy_term(fastwhen(Rule,Spec,Call),fastwhen(R,S,C)),
    numbervars(fastwhen(R,S,C),0,_),
    print(fastwhen(R,S,C)), print(':'), nl,
    print_rules2(Rules),nl.

Calls:

Name: nl
Name: print_rules2/1	Module: fastwhen
Name: print/1
Name: numbervars/3
Name: copy_term/2

Called:

Name: fastwhen_generate/5

Module: fastwhen

print_rules2/1

print_rules2(Rules) :-
member(R,Rules), portray_clause(R), fail.

print_rules2(_).

Calls:

Name: fail
Name: portray_clause/1
Name: member/2

Called:

Name: print_rules/4

Module: fastwhen

strict_member/2

strict_member(A,[H|T]) :-
(A==H -> true; strict_member(A,T)).

Calls:

Name: RECURSIVE_CALL/2	Module: fastwhen
Name: true
Name: ==/2
Name: ->/3

Called:

Name: create_block3/4

Module: fastwhen

Determinacy Checker

fastwhen

prob_prolog/unused_code/fastwhen.pl

Modules

Predicates of fastwhen

Module Information

241 Lines

27 Predicates

Imported Modules: lists terms

0 Exports

0 specified Imports

Predicates:

all_same/2

btest_blocked/3

cblock_or/10

cblock_with_abort/6

cblock_without_abort/5

create_block/4

create_block2/5

create_block3/4

create_ground1/6

create_ground2/4

create_ground_abort1/7

create_ground_abort2/4

create_ground_abort2a/3

create_ground_abort_block/3

create_ground_block/3

create_ground_gen_1/8

create_ground_gen_2/5

distribute/3

distribute2/3

dnf/2

fastwhen_generate/4

fastwhen_generate/5

is_disjunction/2

or_abort/3

print_rules/4

print_rules2/1

strict_member/2

Determinacy Checker: