packages/chr/chr_translate.chr

3375 delete_constraint_goal(Head,Susp,VarDict,Goal) :-
3382 		delay_phase_end(validate_store_type_assumptions, delete_constraint_body(C,Head,Susp,VarDict,Goal))
3390 delete_constraint_body(C,Head,Susp,VarDict,Body) :-
3398 	delete_constraint_body(StoreType,C,Head,Susp,VarDict,DeleteBody).
3460 delete_constraint_body(multi_hash(Indexes),C,Head,Susp,VarDict,Body) :-
3461 	generate_multi_hash_delete_constraint_bodies(Indexes,C,Head,Susp,VarDict,Body).
3462 delete_constraint_body(atomic_constants(Index,_,_),C,Head,Susp,VarDict,Body) :-
3463 	multi_hash_key(C,Head,Index,Susp,VarDict,KeyBody,Key),
3475 delete_constraint_body(ground_constants(Index,_,_),C,Head,Susp,VarDict,Body) :-
3476 	multi_hash_key(C,Head,Index,Susp,VarDict,KeyBody,Key),
3555 delete_constraint_body(multi_store(StoreTypes),C,Head,Susp,VarDict,Body) :-
3556 	maplist(delete_constraint_body1(C,Head,Susp,VarDict),StoreTypes,Bodies),
3558 delete_constraint_body1(C,Head,Susp,VarDict,StoreType,Body) :-
3559 	delete_constraint_body(StoreType,C,Head,Susp,VarDict,Body).
3560 delete_constraint_body(identifier_store(Index),C,Head,Susp,VarDict,Body) :-
3561 	get_suspension_argument_possibly_in_scope(Head,VarDict,Susp,Index,Variable,VariableGoal),
3572 delete_constraint_body(type_indexed_identifier_store(Index,IndexType),C,Head,Susp,VarDict,Body) :-
3573 	get_suspension_argument_possibly_in_scope(Head,VarDict,Susp,Index,Variable,VariableGoal),
3596 generate_multi_hash_delete_constraint_bodies([Index|Indexes],C,Head,Susp,VarDict,(Body,Bodies)) :-
3598 	multi_hash_key(C,Head,Index,Susp,VarDict,KeyBody,Key),
3633 	generate_multi_hash_delete_constraint_bodies(Indexes,FA,Head,Susp,VarDict,Bodies).
4064 multi_hash_key(C,Head,Index,Susp,VarDict,KeyBody,Key) :-
4066 		get_suspension_argument_possibly_in_scope(Head,VarDict,Susp,I,Key,KeyBody)
4068 		maplist(get_suspension_argument_possibly_in_scope(Head,VarDict,Susp),Index,Keys,Bodies),
4073 get_suspension_argument_possibly_in_scope(Head,VarDict,Susp,Index,Arg,Goal) :-
4080 		  translate(OriginalVars,VarDict,Vars) ->
6572 guard_body_copies3(Rule,GuardList,VarDict,GuardCopyList,BodyCopy) :-
6574 	my_term_copy(GuardList,VarDict,VarDict2,GuardCopyList),
6579 split_off_simple_guard_new([G|Gs],VarDict,S,C) :-
6580 	( simple_guard_new(G,VarDict) ->
6582 		split_off_simple_guard_new(Gs,VarDict,Ss,C)
6872 …rest_heads_retrieval_and_matching(RestHeads,RestIDs,Head,GetRestHeads,Susps,VarDict1,VarDict,[],[]…
6874 	guard_body_copies3(Rule,GuardList,VarDict,GuardCopyList,BodyCopy),
6886 	partner_constraint_detachments(Susps,RestHeads,VarDict,SuspsDetachments),
6887 	active_constraint_detachment(Id,Susp,Head,VarDict,SuspDetachment),
6891 		my_term_copy(Guard - Body, VarDict, DebugGuard - DebugBody),
6937 %%	head_arg_matches(+Pairs,+Modes,+VarDict,-Goal,-NVarDict) is det.
6942 head_arg_matches(Pairs,Modes,VarDict,Goal,NVarDict) :-
6943 	head_arg_matches(Pairs,Modes,VarDict,Goal,NVarDict,[],_).
6946 %%	head_arg_matches(+Pairs,+Modes,+VarDict,-Goal,-NVarDict,+GroundVars,-NGroundVars) is det.
6948 head_arg_matches(Pairs,Modes,VarDict,Goal,NVarDict,GroundVars,NGroundVars) :-
6949 	head_arg_matches_(Pairs,Modes,VarDict,GroundVars,GoalList,NVarDict,NGroundVars),
6952 head_arg_matches_([],[],VarDict,GroundVars,[],VarDict,GroundVars).
6953 head_arg_matches_([silent(Arg-Var)| Rest],[Mode|Modes],VarDict,GroundVars,GoalList,NVarDict,NGround…
6956 		head_arg_matches_(Rest,Modes,VarDict,GroundVars0,GoalList,NVarDict,NGroundVars)
6958 		head_arg_matches_(Rest,Modes,VarDict,GroundVars,GoalList,NVarDict,NGroundVars)
6960 head_arg_matches_([Arg-Var| Rest],[Mode|Modes],VarDict,GroundVars,GoalList,NVarDict,NGroundVars) :-
6962 	    	( lookup_eq(VarDict,Arg,OtherVar) ->
6975 	        	VarDict1 = VarDict
6977 			VarDict1 = [Arg-Var | VarDict],
6990 	    VarDict = VarDict1,
7000 	    VarDict = VarDict1,
7005 	    copy_with_variable_replacement(Arg,ArgCopy,VarDict),
7007 	    VarDict = VarDict1,
7012 	    copy_with_variable_replacement(Arg,ArgCopy,VarDict),
7014 	    VarDict = VarDict1,
7031 	    VarDict1 = VarDict,
7149 rest_heads_retrieval_and_matching(Heads,IDs,ActiveHead,GoalList,Susps,VarDict,NVarDict,PrevHs,PrevS…
7150 …rest_heads_retrieval_and_matching(Heads,IDs,ActiveHead,GoalList,Susps,VarDict,NVarDict,PrevHs,Prev…
7152 rest_heads_retrieval_and_matching(Heads,IDs,ActiveHead,GoalList,Susps,VarDict,NVarDict,PrevHs,PrevS…
7154 …rest_heads_retrieval_and_matching_n(Heads,IDs,PrevHs,PrevSusps,ActiveHead,GoalList,Susps,VarDict,N…
7158 		VarDict = NVarDict,
7162 rest_heads_retrieval_and_matching_n([],_,_,_,_,[],[],VarDict,VarDict,_AttrDict,GroundVars,GroundVar…
7164     [Goal|Goals],[Susp|Susps],VarDict,NVarDict,_AttrDict,GroundVars,NGroundVars) :-
7169 		passive_head_via(H,[ActiveHead|PrevHs],VarDict,ViaGoal,VarSusps),
7178 		head_arg_matches(Pairs,Mode,VarDict,MatchingGoal,VarDict1,GroundVars,GroundVars1),
7194 …existential_lookup(StoreType,H,[ActiveHead|PrevHs],VarDict,GroundVars,Suspension,ExistentialLookup…
7197 		head_arg_matches(NPairs,NMode,VarDict,MatchingGoal,VarDict1,GroundVars,GroundVars1),
7235 filter_append([],VarDict,VarDict).
7236 filter_append([X|Xs],VarDict,NVarDict) :-
7238 		filter_append(Xs,VarDict,NVarDict)
7241 		filter_append(Xs,VarDict,NVarDict0)
7268 passive_head_via(Head,PrevHeads,VarDict,Goal,AllSusps) :-
7282 		translate([CommonVar],VarDict,[Var]),
7286 		translate(CommonVars,VarDict,Vars),
7288 		my_term_copy(TypeDict,VarDict,TypeDictCopy),
7355 guard_body_copies(Rule,VarDict,GuardCopy,BodyCopy) :-
7356 	guard_body_copies2(Rule,VarDict,GuardCopyList,BodyCopy),
7359 guard_body_copies2(Rule,VarDict,GuardCopyList,BodyCopy) :-
7362 	split_off_simple_guard(GuardList,VarDict,GuardPrefix,RestGuardList),
7363 	my_term_copy(GuardPrefix-RestGuardList,VarDict,VarDict2,GuardPrefixCopy-RestGuardListCopyCore),
7377                      pairlist:lookup_eq(VarDict,X,Y),            % translate X into new variable
7396 split_off_simple_guard([G|Gs],VarDict,S,C) :-
7397 	( simple_guard(G,VarDict) ->
7399 		split_off_simple_guard(Gs,VarDict,Ss,C)
7406 simple_guard(G,VarDict) :-
7409 	     lookup_eq(VarDict,V,_)
7412 active_constraint_detachment(Id,Susp,Head,VarDict,SuspDetachment) :-
7427 			gen_uncond_susp_detachment(Head,Susp,active,VarDict,UnCondSuspDetachment),
7444 partner_constraint_detachments([Susp|Susps],[Head|Heads],VarDict,(SuspDetachment,SuspsDetachments))…
7445    gen_uncond_susp_detachment(Head,Susp,partner,VarDict,SuspDetachment),
7446    partner_constraint_detachments(Susps,Heads,VarDict,SuspsDetachments).
7448 gen_uncond_susp_detachment(Head,Susp,Role,VarDict,SuspDetachment) :-
7459 	     delete_constraint_goal(Head,Susp,VarDict,DeleteCall),
7502 …rest_heads_retrieval_and_matching(NHeads,NIDs,Head,GetRestHeads,Susps,VarDict1,VarDict,[],[],[],Gr…
7505 	guard_body_copies3(Rule,GuardList,VarDict,GuardCopyList,BodyCopy),
7516 	partner_constraint_detachments(SortedSusps1,RestHeads,VarDict,SuspsDetachments),
7517 	active_constraint_detachment(Id,Susp,Head,VarDict,SuspDetachment),
7520 		my_term_copy(Guard - Body, VarDict, DebugGuard - DebugBody),
7615 	head_arg_matches(HeadPairs,Mode,[],FirstMatching,VarDict,[],GroundVars),
7617 	lookup_passive_head(Head1,[Head],VarDict,GroundVars,ModConstraintsGoal,AllSusps),
7622 	extra_active_delegate_variables(Head,[Head1|Rest],VarDict,ExtraVars),
7637 extra_active_delegate_variables(Term,Terms,VarDict,Vars) :-
7639 	delegate_variables(Term,Terms,VarDict,Args,Vars).
7641 passive_delegate_variables(Term,PrevTerms,NextTerms,VarDict,Vars) :-
7643 	delegate_variables(Term,NextTerms,VarDict,PrevVars,Vars).
7645 delegate_variables(Term,Terms,VarDict,PrevVars,Vars) :-
7650 	translate(V4,VarDict,Vars).
7657 …get_prop_inner_loop_vars(PreHeads,[CurrentHead,NextHeads,Guard,Body],PreVarsAndSusps,VarDict,Susp,…
7666 	head_arg_matches(HeadPairs,Mode,VarDict,FirstMatching,VarDict1,[],GroundVars),
7723 		my_term_copy(Guard - Body, VarDict, DebugGuard - DebugBody),
7740 	  check_unique_keys(UniqueKeys,VarDict) ->
7834 	head_arg_matches(HeadPairs,Mode,[],HeadMatching,VarDict,[],GroundVars),
7835 	guard_body_copies(Rule,VarDict,GuardCopy,BodyCopy),
7844 		my_term_copy(Guard - Body, VarDict, DebugGuard - DebugBody),
7943 	head_arg_matches(HeadPairs,Mode,[],FirstMatching,VarDict,[],GroundVars),
7945 	extra_active_delegate_variables(Head,[First,Rest,Guard,Body],VarDict,ExtraVars),
7947 	lookup_passive_head(First,[Head],VarDict,GroundVars,FirstSuspGoal,Susps),
8028 	head_arg_matches(OtherPairs,Mode,VarDict1,Matching,VarDict),
8031 	guard_body_copies(Rule,VarDict,GuardCopy,BodyCopy),
8090 		my_term_copy(Guard - Body, VarDict, DebugGuard - DebugBody),
8148 gen_var_susp_list_for([Head],Terms,VarDict,HeadVars,VarsSusp,Susp) :-
8153    head_arg_matches(HeadPairs,Mode,[],_,VarDict),
8154    extra_active_delegate_variables(Head,Terms,VarDict,ExtraVars),
8157 	gen_var_susp_list_for(Heads,[Head|Terms],VarDict,Rest,_,_),
8162 	head_arg_matches(HeadPairs,Mode,VarDict,_,NVarDict),
8167 	%	VarDict		for the copies of variables in the original heads
8172 gen_var_susp_list_for_b([Head],NextHeads,VarDict,[HeadVars],VarsSusp,[Susp],[]) :-
8177 	head_arg_matches(Pairs,Mode,[],_,VarDict),				% copy variables inside arguments, build dictionary
8178 …extra_active_delegate_variables(Head,NextHeads,VarDict,ExtraVars),	% decide what additional variab…
8181 	gen_var_susp_list_for_b(Heads,[Head|NextHeads],VarDict,RestVars,FirstVarsSusp,SuspList,Iterators),
8186 	head_arg_matches(HeadPairs,Mode,VarDict,_,NVarDict),
8190 get_prop_inner_loop_vars([Head],NextHeads,HeadVars,VarDict,Susp,Vars,[]) :-
8195 	head_arg_matches(Pairs,Mode,[],_,VarDict),
8196 	extra_active_delegate_variables(Head,NextHeads,VarDict,ExtraVars),
8199 	get_prop_inner_loop_vars(Heads,[Head|Terms],RestVarsSusp,VarDict,MainSusp,MainVars,RestSusps),
8204 	head_arg_matches(Pairs,Mode,VarDict,_,NVarDict),
8700 lookup_passive_head(Head,PreJoin,VarDict,Goal,AllSusps) :-
8703 	lookup_passive_head(StoreType,Head,PreJoin,VarDict,[],Goal,AllSusps).
8711 lookup_passive_head(Head,PreJoin,VarDict,GroundVars,Goal,AllSusps) :-
8714 	lookup_passive_head(StoreType,Head,PreJoin,VarDict,GroundVars,Goal,AllSusps).
8722 lookup_passive_head(default,Head,PreJoin,VarDict,_,Goal,AllSusps) :-
8724 	passive_head_via(Head,PreJoin,VarDict,Goal,AllSusps),
8726 lookup_passive_head(multi_inthash(Indexes),Head,_PreJoin,VarDict,GroundVars,Goal,AllSusps) :-
8727 	hash_lookup_passive_head(inthash,Indexes,Head,VarDict,GroundVars,Goal,AllSusps,_).
8728 lookup_passive_head(multi_hash(Indexes),Head,_PreJoin,VarDict,GroundVars,Goal,AllSusps) :-
8729 	hash_lookup_passive_head(hash,Indexes,Head,VarDict,GroundVars,Goal,AllSusps,_).
8735 lookup_passive_head(var_assoc_store(VarIndex,KeyIndex),Head,_PreJoin,VarDict,_,Goal,AllSusps) :-
8738 	translate([OVar,OKey],VarDict,[Var,Key]),
8750 lookup_passive_head(multi_store(StoreTypes),Head,PreJoin,VarDict,GroundVars,Goal,AllSusps) :-
8753 		lookup_passive_head(ST,Head,PreJoin,VarDict,GroundVars,Goal,AllSusps)
8755 lookup_passive_head(identifier_store(Index),Head,PreJoin,VarDict,GroundVars,Goal,AllSusps) :-
8758 	translate([Var],VarDict,[KeyVar]),
8764 lookup_passive_head(type_indexed_identifier_store(Index,IndexType),Head,PreJoin,VarDict,GroundVars,…
8768 		translate([Var],VarDict,[KeyVar]),
8799 hash_lookup_passive_head(HashType,Indexes,Head,VarDict,GroundVars,Goal,AllSusps,Index) :-
8800 	pick_hash_index(Indexes,Head,VarDict,Index,KeyArgs,KeyArgCopies),
8810 	my_term_copy(OriginalGroundCheck,VarDict,GroundCheck),
8820 pick_hash_index(Indexes,Head,VarDict,Index,KeyArgs,KeyArgCopies) :-
8823 	key_in_scope(KeyArgs,VarDict,KeyArgCopies),
8828 key_in_scope([],VarDict,[]).
8829 key_in_scope([Arg|Args],VarDict,[ArgCopy|ArgCopies]) :-
8831 	translate(Vars,VarDict,VarCopies),
8833 	key_in_scope(Args,VarDict,ArgCopies).
8842 existential_lookup(var_assoc_store(VarIndex,KeyIndex),Head,PreJoin,VarDict,GroundVars,SuspTerm,Goal…
8843 …lookup_passive_head(var_assoc_store(VarIndex,KeyIndex),Head,PreJoin,VarDict,GroundVars,UniversalGo…
8867 existential_lookup(multi_store(StoreTypes),Head,PreJoin,VarDict,GroundVars,SuspTerm,Goal,Susp,Pairs…
8870 		existential_lookup(ST,Head,PreJoin,VarDict,GroundVars,SuspTerm,Goal,Susp,Pairs,NPairs)
8872 existential_lookup(multi_inthash(Indexes),Head,_,VarDict,GroundVars,SuspTerm,Goal,Susp,Pairs,NPairs…
8873 	existential_hash_lookup(inthash,Indexes,Head,VarDict,GroundVars,SuspTerm,Goal,Susp,Pairs,NPairs).
8874 existential_lookup(multi_hash(Indexes),Head,_,VarDict,GroundVars,SuspTerm,Goal,Susp,Pairs,NPairs) :…
8875 	existential_hash_lookup(hash,Indexes,Head,VarDict,GroundVars,SuspTerm,Goal,Susp,Pairs,NPairs).
8876 existential_lookup(identifier_store(Index),Head,PreJoin,VarDict,GroundVars,SuspTerm,Goal,Susp,Pairs…
8877 	lookup_passive_head(identifier_store(Index),Head,PreJoin,VarDict,GroundVars,LookupGoal,AllSusps),
8897 existential_lookup(type_indexed_identifier_store(Index,IndexType),Head,PreJoin,VarDict,GroundVars,S…
8898 …lookup_passive_head(type_indexed_identifier_store(Index,IndexType),Head,PreJoin,VarDict,GroundVars…
8918 existential_lookup(StoreType,Head,PreJoin,VarDict,GroundVars,SuspTerm,Goal,Susp,Pairs,Pairs) :-
8919 	lookup_passive_head(StoreType,Head,PreJoin,VarDict,GroundVars,UGoal,Susps),
8941 existential_hash_lookup(HashType,Indexes,Head,VarDict,GroundVars,SuspTerm,Goal,Susp,Pairs,NPairs) :-
8942 	hash_lookup_passive_head(HashType,Indexes,Head,VarDict,GroundVars,LookupGoal,AllSusps,Index),
9203 …gen_var_susp_list_for_b(PreHeads,[CurrentHead,NextHead,RestHeads,Guard,Body],VarDict,PreVarsAndSus…
9211 	head_arg_matches(HeadPairs,Mode,VarDict,FirstMatching,VarDict1),
11223 	Env = VarDict - VarId,
11224 	( lookup_eq(VarDict,Var,AstTerm) ->
11229 		NVarDict = [Var - AstTerm|VarDict],
11374 ast_head_arg_matches_([],[],VarDict,GroundVars,[],VarDict,GroundVars).
11375 ast_head_arg_matches_([silent(Arg-Var)| Rest],[Mode|Modes],VarDict,GroundVars,GoalList,NVarDict,NGr…
11378 		ast_head_arg_matches_(Rest,Modes,VarDict,GroundVars0,GoalList,NVarDict,NGroundVars)
11380 		ast_head_arg_matches_(Rest,Modes,VarDict,GroundVars,GoalList,NVarDict,NGroundVars)
11382 ast_head_arg_matches_([Arg-Var| Rest],[Mode|Modes],VarDict,GroundVars,GoalList,NVarDict,NGroundVars…
11384 	    	( get_assoc(VarId,VarDict,OtherVar) ->
11397 	        	VarDict1 = VarDict
11399 			put_assoc(VarId,VarDict,Var,VarDict1),
11413 	    VarDict = VarDict1,
11423 	    VarDict = VarDict1,
11428 	    ast_instantiate(VarDict,Arg,ArgInst),
11430 	    VarDict = VarDict1,
11435 	    ast_instantiate(VarDict,Arg,ArgInst),
11437 	    VarDict = VarDict1,
11453 	    VarDict1 = VarDict,