Searched refs:Module (Results 1 - 25 of 102) sorted by relevance

12345

/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Darray.pl65 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 Datts.pl69 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 Dpdb.pl97 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 Ddynamic.pl111 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 Dapply_macros.pl130 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 Ddefine.pl121 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 Dfromonto.pl121 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 Dsepia.pl124 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 Dkernel.pl509 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 Dmake.pl65 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 Dspell.pl71 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 Dquintus_util.pl49 q_prompt(_, Module) :-
53 (Module == eclipse ->
56 printf(toplevel_output, "[%s]\n", Module)
61 (Module == eclipse ->
64 printf(toplevel_output, "%s ", Module)
H A Dutil.pl85 :- 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 Dtest_util.pl299 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 Dtracer_tcl.pl240 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 Dpar_util.pl128 '&_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 Delipsys.pl193 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 Dcp_min.pl77 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 Dapplic.pl63 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 Dorder.pl53 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 Duttrack.c3 * 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 Dpropia.pl164 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 Dech.pl119 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 Dfd_min_max.pl118 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 Dwake.pl98 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),

Completed in 205 milliseconds

12345