/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | array.pl | 65 make_array_body(Array, Module) :- 66 make_array_body(Array, prolog, Module). 68 make_local_array_body(Array, Module) :- 69 make_local_array_body(Array, prolog, Module). 71 make_array_body(Array, Type, Module) :- 72 (make_array_(Array, Type, global, Module) -> 75 bip_error(make_array(Array, Type), Module) 78 make_local_array_body(Array, Type, Module) :- 79 (make_array_(Array, Type, local, Module) -> 82 bip_error(make_local_array(Array, Type), Module) [all...] |
H A D | atts.pl | 69 attribute_body(Decls, Module) :- 70 meta_attribute(Module, [])@Module, 73 compute_att_mask(Attrs, Module, Vector, ProcList, []), 77 compute_att_mask([Att|Atts], Module, Vector, I, M) --> 78 [t2v(Att,Vector,M, Module)], 83 compute_att_mask(Atts, Module, Vector, J, N). 98 get_atts_body(Var, Spec, Module) :- 99 expand_get_atts(get_atts(Var, Spec), Exp, Module), 100 call(Exp)@Module [all...] |
H A D | pdb.pl | 97 current_op_body(Preced, Assoc, Name, Module):- 98 legal_current_op(Preced, Assoc, Name, Module) 106 is_infix_op(Preced, Assoc, Name, _, Module) 108 is_prefix_op(Preced, Assoc, Name, _, Module) 110 is_postfix_op(Preced, Assoc, Name, _, Module) 115 error(Err, current_op(Preced, Assoc, Name), Module). 118 current_macro_body(Functor, Pred, List, PredModule, Module) :- 124 current_macro_body1(Functor, Pred, List, PredModule, Module). 125 current_macro_body(Functor, Pred, List, PredModule, Module) :- 126 bip_error(current_macro(Functor, Pred, List, PredModule), Module) [all...] |
H A D | dynamic.pl | 111 call_dynamic_(SrcHandle, Goal, Module) :- 114 call_with_cut(Body, Module, Module, Cut). 123 dynamic_body((F1, F2), Module) ?- 124 dynamic_body_enum((F1,F2), Module), 126 dynamic_body([F|Fs], Module) ?- 127 dynamic_body_list([F|Fs], Module), 129 dynamic_body(F, Module) :- 130 dynamic_body_single(F, Module), 132 dynamic_body(Preds, Module) [all...] |
H A D | apply_macros.pl | 130 t_maplist(maplist(Pred, In, Out), NewGoal, Module) :- 145 ], Module). 148 t_fromto(fromto(From, To, Step, Pred), NewGoal, Module) :- 169 ], Module). 174 t_mapstream(mapstream(Pred, In, Out), NewGoal, Module) :- 191 ], Module). 198 t_selectlist(selectlist(Pred, In, Out), NewGoal, Module) :- 215 ], Module). 219 t_applist(applist(Pred, List), NewGoal, Module) :- 234 ], Module) [all...] |
H A D | define.pl | 121 defined(Term, Value, Module) :- 129 error(Err, define(Term, Value), Module). 130 defined(Term, Value, Module) :- 134 is_predicate(is_defined_macro/2)@Module, 135 call(is_defined_macro(Term, _))@Module 141 retract(is_defined_macro(Term, _))@Module, 142 erase_macro(F/A)@Module 147 assert(is_defined_macro(Term, Value))@Module, 148 define_macro(F/A, is_defined_macro/2, [])@Module, 153 define_exec(Term, Value, Goal, Module) [all...] |
H A D | fromonto.pl | 121 from_stream_body(Goal, Stream, Module) :- 124 (call(Goal)@Module -> Result = true ; Result = false), 128 from_file_body(Goal, File, Module) :- 132 (call(Goal)@Module -> Result = true ; Result = false), 137 from_string_body(Goal, String, Module) :- 141 (call(Goal)@Module -> Result = true ; Result = false), 147 onto_stream_body(Goal, Stream, Module) :- 150 (call(Goal)@Module -> Result = true ; Result = false), 154 onto_file_body(Goal, File, Module) :- 158 (call(Goal)@Module [all...] |
H A D | sepia.pl | 124 rtoken_body(Token, Module) :- 125 read_token_(input, Token, _, Module). 127 rtoken_body(Stream, Token, Module) :- 128 read_token_(Stream, Token, _, Module). 158 current_array_body(Atom, ListOfBounds, Type, Module) :- 159 current_array_body(Array, [Type|_], Module), 162 array_body(ArrSpec, ListOfBounds, Type, Module) :- 164 error(4, array(ArrSpec, ListOfBounds, Type), Module). 165 array_body(ArrSpec, ListOfBounds, Type, Module) :- 168 current_array_body(ArrSpec, [Type|_], Module) [all...] |
H A D | kernel.pl | 509 all_sol(Goal, Module) :- 510 call(Goal)@Module, 513 par_all_body(InitGoal, Goal, Module) :- 514 set_par_goal(pargoal(InitGoal, all_sol(Goal, Module))), 517 all_sol(Goal, Module) % fails 523 gather_instances(Template, Generator, Module, Ref) :- 524 call(Generator)@Module, 529 par_findall_body(InitGoal, Template, Generator, List, Module) :- 533 gather_instances(Template, Generator, Module, Ref))), 536 gather_instances(Template, Generator, Module, Re [all...] |
H A D | make.pl | 65 record_compiled_files(N, CompInfo, Module) :- 73 record(compiled_file, .(File, Module, Time)), 74 error(default(N), CompInfo, Module). 75 record_compiled_files(N, CompInfo, Module) :- 76 error(default(N), CompInfo, Module). 84 recorded(compiled_file, .(File, Module, Time)), 86 compile(File, Module),
|
H A D | spell.pl | 71 spell_handler(N,Culprit,Module) :- 73 correct(Functor,Corr,Module), 77 [Message, Culprit, Module]), 79 callcorrect(Culprit,CorrFunctor,Module) 118 % callcorrect(+CulpritTerm,+CorrectFunctor,+Module) 122 callcorrect(Culprit,Functor,Module) :- 125 call(Call)@Module. 129 % correct(+Functor,+ListOfCorrection,Module) 132 % Functor is an atom that is not the functor of any visible predicate in Module 135 % that are definitions visible in Module [all...] |
H A D | quintus_util.pl | 49 q_prompt(_, Module) :- 53 (Module == eclipse -> 56 printf(toplevel_output, "[%s]\n", Module) 61 (Module == eclipse -> 64 printf(toplevel_output, "%s ", Module)
|
H A D | util.pl | 85 :- comment(interface/1, [template:"interface(+Module)", 86 summary:"List the module interface of the specified Module" 182 time_body(Goal, Module) :- 185 call(Goal)@Module, 224 compile_selection(Module) :- 226 compile_stream(S)@Module, 236 tool_body(Pred0, Pred, Module) % edit the tool body instead 239 Module = Module0 241 get_flag(Pred, source_file, File)@Module, 242 get_flag(Pred, source_line, Line)@Module, [all...] |
H A D | test_util.pl | 299 test_body(File, Module) :- 300 test_body(File, call, "", Module). 303 test_info_body(File, Info, Module) :- 304 test_body(File, call, Info, Module). 306 test_body(File, Type, Module) :- 307 test_body(File, Type, "", Module). 309 test_body(File, Type, Info, Module) :- 316 test_stream(S, Type, Info, Module), 459 should_fail_body(Goal, Module) :- 460 catch(should_fail1(Goal, Module), [all...] |
H A D | tracer_tcl.pl | 240 do_filter(goal(SpyStatus), trace_line{frame:tf{goal:Goal, module:Module}}):- 241 goal_filter(Goal, Module), 424 register_inspected_term(Term, Module) :- 425 setval(inspect_object, f(Term, Module)), 429 get_inspected_term(current, Term, Module) :- 430 ( getval(inspect_object, f(Term,Module)) -> 434 get_flag(toplevel_module, Module) 436 get_inspected_term(invoc(N), Goal, Module) :- 437 find_goal_by_invoc(N, _LookupModule, Goal, Module, _, _, _, _). 438 get_inspected_term(display(I,R,C), Term, Module) [all...] |
H A D | par_util.pl | 128 '&_body'(Goal1, Goal2, Module) :- 129 findall(Sol, parand(Sol, Goal1, Goal2, Module), Bag), 135 parand(a-Goal1, Goal1, _, Module) :- call(Goal1)@Module. 136 parand(b-Goal2, _, Goal2, Module) :- call(Goal2)@Module. 141 par_maplist_body(Pred, In, Out, Module) :- 142 findall(Sol, map_elements(Pred, In, Sol, Module), Out0), 146 map_elements(Pred, In, I-Xout, Module) :- 156 ( call(Call)@Module, tru [all...] |
H A D | elipsys.pl | 193 mode_body(G,Module) :- 206 compile_term(DP)@Module. 337 clauses_body(Name/Arity,Clauses,Module) :- 339 findall((Head :- Body),clause_body((Head :- Body),Module),Clauses). 353 retract_b(Clause, Module) :- retract_body(Clause, Module),!. 371 error_handler_63(_,Culprit,Module) :- 372 get_flag_body((dynamic)/1,definition_module,elipsys,Module), 374 error_handler_63(Culprit,Module). 375 error_handler_63(N,Culprit,Module) [all...] |
H A D | cp_min.pl | 77 cp_minimize_body(Goal,Cost,CP_Flag,CostMonitor,Module) :- 80 cp_minimize_body(Goal, [Cost], CP_Flag, CostMonitor, Module). 81 cp_minimize_body(Goal,List,CP_Flag,CostMonitor,Module) :- 85 cp_minimize_body(Goal,List,Min,Max,0,CP_Flag, off, CostMonitor,Module) 87 error(5, cp_minimize(Goal, List, CP_Flag, CostMonitor), Module) 92 cp_minimize_body(Goal,Cost,L,H,P,CP_Flag, Psm_Flag, CostMonitor,Module) :- 95 cp_minimize_body(Goal,[Cost],L,H,P,CP_Flag, Psm_Flag, CostMonitor,Module). 96 cp_minimize_body(Goal,List,L,H,P,CP_Flag, Psm_Flag, CostMonitor,Module) :- 117 multiple_searches(FactorsArr-Numspec,Goal,List,P,L,H,CostMonitor,Psm_Flag,Module) 119 multiple_searches(f-0,Goal,List,P,L,H,CostMonitor,Psm_Flag,Module)), [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/ |
H A D | applic.pl | 63 apply(Pred, Args, Module) :- 71 call(Goal)@Module. 101 checkand(Pred, A&B, Module) :- !, 102 apply(Pred, [A], Module), 103 checkand(Pred, B, Module). 104 checkand(Pred, A, Module) :- 105 apply(Pred, [A], Module). 116 checklist(Pred, [Head|Tail], Module) :- 117 apply(Pred, [Head], Module), 118 checklist(Pred, Tail, Module) [all...] |
H A D | order.pl | 53 ordered(Relation, [Head|Tail], Module) :- 54 ordered_(Tail, Head, Relation, Module). 57 ordered_([Head|Tail], Left, Relation, Module) :- 58 apply(Relation, [Left,Head])@Module, 59 ordered_(Tail, Head, Relation, Module).
|
/barrelfish-2018-10-04/lib/acpica/source/components/utilities/ |
H A D | uttrack.c | 3 * Module Name: uttrack - Memory allocation tracking routines (debug only) 148 const char *Module, 155 const char *Module, 202 * Module - Source file name of caller 215 const char *Module, 226 ACPI_WARNING ((Module, Line, 236 ACPI_WARNING ((Module, Line, 243 Allocation, Size, ACPI_MEM_MALLOC, Component, Module, Line); 271 * Module - Source file name of caller 284 const char *Module, 212 AcpiUtAllocateAndTrack( ACPI_SIZE Size, UINT32 Component, const char *Module, UINT32 Line) argument 281 AcpiUtAllocateZeroedAndTrack( ACPI_SIZE Size, UINT32 Component, const char *Module, UINT32 Line) argument 350 AcpiUtFreeAndTrack( void *Allocation, UINT32 Component, const char *Module, UINT32 Line) argument 476 AcpiUtTrackAllocation( ACPI_DEBUG_MEM_BLOCK *Allocation, ACPI_SIZE Size, UINT8 AllocType, UINT32 Component, const char *Module, UINT32 Line) argument 580 AcpiUtRemoveAllocation( ACPI_DEBUG_MEM_BLOCK *Allocation, UINT32 Component, const char *Module, UINT32 Line) argument 717 AcpiUtDumpAllocations( UINT32 Component, const char *Module) argument [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/ |
H A D | propia.pl | 164 infers(Constraint, Language, Module) :- 167 check_errors(Constraint, Language, Module). 172 infers(Constraint,Language,Module) :- 174 (Vars=[] -> once(Constraint)@Module 175 ; infers_susp(Constraint,Vars,Language,Module) 182 infers_susp(InGoal,Vars,Language,Module) :- !, 187 infers2(Goal,Vars,Language,Prior,Cond,Module). 194 infers2(Goal,Vars,ac,_Prior,_Cond,Module) :- !, 195 ac(Goal,Vars,Module). 198 infers2(Goal,Vars,Language,Prior,Cond,Module) [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ech/ |
H A D | ech.pl | 119 record_chrrule(Rule, [], Module) :- 121 check_if_new_or_update(Module), 122 recorda('CHRcode', Rule)@Module. 124 record_chrprule(Rule0, [], Module) :- 125 check_if_new_or_update(Module), 126 erase('CHRprule_count', count(Module,Np)), 131 recorda('CHRcode', Rule)@Module, 132 recorda('CHRprule_count',count(Module,Np1)). 134 record_namedrule(NamedRule, [], Module) :- 136 ( Rule = (Head ==> Body) -> record_chrprule(NamedRule, [], Module) [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ilog/ |
H A D | fd_min_max.pl | 118 min_max_body(Goal, Cost, Module) :- 120 min_max_body(Goal, Goal, Goal, Cost, Min, Max, 0, 0, Module). 122 min_max_body(Goal, Template, Solution, Cost, Module) :- 124 min_max_body(Goal, Template, Solution, Cost, Min, Max, 0, 0, Module). 126 min_max_body(Goal, Cost, Lower, Upper, Percent, Module) :- 127 min_max_body(Goal, Goal, Goal, Cost, Lower, Upper, Percent, 0, Module). 129 min_max_body(Goal, Cost, Lower, Upper, Percent, Timeout, Module) :- 130 min_max_body(Goal, Goal, Goal, Cost, Lower, Upper, Percent, Timeout, Module). 135 min_max_body(Goal, Template, Solution, Value, Lower, Upper, Percent, Timeout, Module) :- 146 bbr2(Goal, s(Template), s(Solution), List, Low, Max, Percent, Timeout, Index, Module) [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | wake.pl | 98 suspension_to_goal(Susp, Goal, Module), 99 (Module = grace -> 103 trace_suspension('CALL', Goal, Mark, Module), 105 trace_suspension('EXIT', Goal, Mark, Module) 107 trace_suspension('**FAIL', Goal, Mark, Module),
|