eclipseclp/ecrc_solvers/propia.pl

206 	most_type(Type),
207 	infers3(Goal,Vars,Type,Prior,Cond,Module).
213 infers2(Goal,Vars,Type,Prior,Cond,Module) :-
214 	infers3(Goal,Vars,Type,Prior,Cond,Module).
217 infers3(Goal,Vars,Type,Prior,Cond,Module) :-
219         suspend( myinfers(Goal,most(Vars),GlobVar,Type,Module,Susp),
224         get_msg_for_goal(Goal,most(Vars),GlobVar,Type,Module,Susp).
227 most_type(Type) :-
229 	( foreach(Solver,KnownSolvers), fromto(Type,Type1,Type2,[]) do
244 myinfers(Goal, Most,GlobVar, Type, Module,Susp) :-
251               get_msg_for_goal(Goal,Most,GlobVar,Type,Module,Susp)
256 get_msg_for_goal(Goal,most(Vars),GlobVar,Type,Module,Susp) :-
258 	init_domains(CopyGoal, CopyVars, GlobVar, Type, Module),
260                    propia_answer(Vars,Type,GlobVar,Susp) ;
261             extend(CopyGoal,CopyVars,Vars,NewVars,GlobVar,Type,Module) ->
262                    propia_answer(Vars,Type,GlobVar,Susp),
265                    propia_answer(Vars,Type,GlobVar,Susp)
280 % for the approximation language Type].
282 init_domains(Goal,Vars,GlobVar,Type,Module) :-
285                  newmsg(Vars,Vars,Type,NewVars,Module),
290 propia_call(Goal,Vars,GlobVar,Type,Module) :-
293      newmsg(Vars,OldVars,Type,NewVars,Module),
311 extend(Goal,Vars,OrigVars,FinalVars,GlobVar,Type,Module) :-
313              propia_call(Goal,Vars,GlobVar,Type,Module),
337 % The generalisation of two terms, T1 and T2 and a type Type is made
343 newmsg(T1,T2,Type,T3,Module) :-
344         msgList(T1,T2,T3,Type,[],_,Module).
347 msgList([V1|V1T],[V2|V2T],[MSGV|MSGT],Type,Map,OutMap,Module) :-
348         msg(V1,V2,MSGV,Type,Map,NewMap,Module),
349         msgList(V1T,V2T,MSGT,Type,NewMap,OutMap,Module).
351 msg(T1,T2,T3,Type,Map,OutMap,Module) :-
354         msgList(Args1,Args2,Args3,Type,Map,OutMap,Module),
358 msg(V1,V2,MSGV,Type,Map,[map(V1,V2,MSGV)|Map],Module) :-
359 	Type:msg(V1,V2,MSGV)@Module.
373 propia_answer(Vars,Type,GlobVar,Susp) :-
374        ( propia_ans(Vars,Type),
383 propia_ans([Var],Type) :-
384 	    member(Solver, Type),