Searched refs:Module (Results 26 - 50 of 102) sorted by relevance

12345

/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Dsetof.pl63 findall_body(Template, Generator, List, Module) :-
65 recordz_instances(Template, Generator, Module, Ref),
77 setof_body(Template, Filter, Set, Module) :-
78 bagof_body(Template, Filter, Bag, Module),
86 coverof_body(Template, Filter, Set, Module) :-
87 bagof_body(Template, Filter, Bag, Module),
99 bagof_body(Template, QGenerator, Bag, Module) :-
100 free_variables_quant(QGenerator, Template, Generator, Vars, Module),
103 recordz_instances(Template, Generator, Module, Ref),
109 recordz_instances(Key-Template, Generator, Module, Re
[all...]
H A Dbranch_and_bound.pl196 minimize(Goal, Cost, Module) :-
197 bb_min(Goal, Cost, _DefaultOptions, Module).
200 bb_min(Goal, Cost, Options, Module) :-
204 bb_min(Goal, Cost, Template, Solution, Opt, Options, Module),
215 call(Goal)@Module
219 bb_min_cost_(Goal, Cost, Opt, Options, Module) :-
220 bb_min(Goal, Cost, [], [], Opt, Options, Module).
223 bb_min(Goal, Cost, Template, Solution, Opt, Options, Module) :-
234 bb_any(From, To, Goal, Template, Cost, Handle, Module, Options),
236 report_timeout(Options, From..To, Handle, Module)
[all...]
H A Dmeta.pl99 meta_attribute_body(Name, List, Module) :-
105 check_handlers(List, List1, Name, Module),
106 record_handlers(Index, Name, List1, Module)
108 check_handlers(List, List1, Name, Module),
109 record_handlers(Index, Name, List1, Module),
113 meta_attribute_body(Name, List, Module) :-
114 bip_error(meta_attribute(Name, List), Module).
136 check_handlers([Decl|List], Decls, AttrName, Module) :- !,
146 ( get_flag(P, defined, on)@Module ->
147 get_flag(P, visibility, Vis)@Module,
[all...]
H A Ddebug.pl79 make_display_matrix_body(Matrix, Name, Module) :-
82 tracer_tcl:make_display_matrix_body(Matrix, Name, Module)
86 tracer_tcl:make_display_matrix_body(Matrix, Name, Module)
91 make_display_matrix_body(Matrix, Prio, Type, SList, Name0, Module) :-
94 tracer_tcl:make_display_matrix_body(Matrix, Prio, Type, SList, Name0, Module)
98 tracer_tcl:make_display_matrix_body(Matrix, Prio, Type, SList, Name0, Module)
103 kill_display_matrix_body(Name0, Module) :-
105 tracer_tcl:kill_display_matrix_body(Name0, Module)
117 debugging_body(Module) :-
119 debug_info(Mode, Module)
[all...]
H A Ddevelopment_support.pl68 /* written_term(+Goal, +Term, -Written, +Module) returns in Written the written
71 written_term(Goal, Term, Written, Module) :-
73 perform_transformation(Goal, Term, Mode, Written, Module).
75 perform_transformation(Goal, Term, Mode, Written, Module) :-
80 portray_term(Term, Written, goal)@Module
82 portray_term(Term, Written, top_term)@Module
102 named_structure(Struct, Module, Defs, A) :-
106 current_struct(F, Defs0)@Module,
H A Dstructures.pl63 define_struct(Struct, Module) :-
67 export(struct(Struct))@Module.
79 portray_struct(Stream, Struct, Module) :-
82 current_struct(Functor, Def)@Module,
H A Dtconv.pl106 term_string_body(T, S, Module) :- var(S), !,
108 writeq_(Stream, T, Module),
111 term_string_body(T, S, Module) :- string(S), !,
115 read_(Stream, T0, Module),
116 read_token_(Stream, end_of_file, _, Module)
H A Dquintus.pl524 arith_exception_handler(N, Culprit, Module) :-
525 error(default(N), Culprit, Module).
668 current_module(Module, File) :-
672 member((Module,File), L).
717 atom_string(Module, ModS),
718 current_module(Module),
720 import_body(Module, M).
727 q_abolish_body(Name/Arity, Module) :-
729 abolish_body(Name/Arity, Module).
730 q_abolish_body(:(Module, Spe
[all...]
H A Dsicstus.pl156 freeze_body(X, Goal, Module) :-
158 suspend_body(Goal, 2, (X->suspend:1), Module).
159 freeze_body(_, Goal, Module) :-
160 untraced_call(Goal, Module).
239 when_body(Condition, Goal, Module) :-
242 suspend(when_body(Condition, Goal, Module), 2, (Vars->inst)).
243 when_body(_Condition, Goal, Module) :-
244 untraced_call(Goal, Module).
266 call_residue_body(Goal, Residue, Module) :-
267 subcall(Goal, Delayed, Module),
[all...]
H A Dtracer_tty.pl388 current_term(Current, Term, Module),
391 suspend(monitor_term(I, Term, Module, Susp), 1, Term->constrained, Susp),
717 tf{goal:Term,module:Module}}, Term, Module).
718 current_term(inspect{written:[Term|_],module:Module}, Term, Module).
752 Frame = tf{goal:Goal,module:Module},
753 written_term(Goal, Goal, WGoal, Module),
754 New = inspect{top:Goal,path:[],module:Module,written:[WGoal],type:goal,goalf:Frame}.
757 inspect_subterm(0, inspect{top:Top,module:Module,typ
[all...]
H A Dtracer.pl409 spy_term(Term, Cond, Module) :-
412 suspend(monitor_term(I, Term, Module, Susp), 1, Cond, Susp),
413 trace_point_port_unchecked(spyterm, I, Term, Module)
420 monitor_term(Invoc, Term, Module, Susp) :-
422 trace_point_port_unchecked(modify, Invoc, Term, Module).
423 %monitor_term(Invoc, Term, Module, _Susp) :-
424 % trace_point_port_unchecked(unmod, Invoc, Term, Module),
448 configure_prefilter(Invoc, Depth, Ports, Preds, Module) :-
456 ; set_spypoints(Preds, Module, LeapFlag)
465 configure_prefilter(Invoc, Depth, Ports, Preds, Module)
[all...]
H A Dtoplevel.pl309 % tty_run_command(+Goal, +VarList, +Module)
346 % tty_run_command1(+Goal, +VarList, +Module)
565 get_flag(toplevel_module, Module),
566 readvar(Stream,Goal,Vars)@Module,
574 get_flag(toplevel_module, Module),
575 tracer_tcl:register_inspected_term(Goal, Module),
578 [fullstop(true),nl(true)|Options])@Module,
581 expand_goal(Goal, TransGoal)@Module % might fail
586 run_goal(TransGoal, Vars, Module, RunMode).
710 print_values(_, Vars, Module)
[all...]
H A Dmps.pl69 mps_send_body(Port, Term, Module) :-
70 term_to_bytes_(Term, String, Module),
73 mps_receive_body(Port, Term, Module) :-
75 bytes_to_term_(String, Term, Module).
H A Dapply.pl104 apply_(Term, AddArgs, Module) :- atom(Term), !,
106 call(Goal)@Module.
107 apply_(Term, AddArgs, Module) :-
111 call(Goal)@Module.
H A Devents.pl227 ensure_loaded_skip(File, Module) :-
229 ensure_loaded_silent(File, Module).
234 ensure_loaded_silent(File, Module) :-
235 ensure_loaded(File, Module).
271 declaration_warning_handler(75, Pred, Module) :- !,
272 get_flag_body(Pred, definition_module, DM, Module),
275 warning_handler(75, Pred, Module),
285 declaration_warning_handler(N, Pred, Module) :-
286 warning_handler(N, Pred, Module).
292 known_library(Module)
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/grace/
H A Dmatrix_util.pl311 apprest_body(Pred, List, Module) :-
312 apprest_each(Pred, List, List, Module).
315 apprest_each(Pred, [H|T], List, Module) :-
317 apply(Pred, [H, RestList], Module),
318 apprest_each(Pred, T, List, Module).
320 apply(Term, AddArgs, Module) :-
322 call(Goal, Module).
340 apply_to_body(Pred, Lists, Module) :-
343 call(Goal, Module),
344 apply_to_body(Pred, Rests, Module)
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/
H A Dic_probe_support.pl167 demon_suspend(Goal,Prior,Cond,Susp,Module) :-
168 suspend(Goal,Prior,Cond,Susp)@Module,
173 my_tent_call(?InTerm,?Goal,?OutTerm,+Priority,+Module)
185 my_tent_call(InTerm,Goal,OutTerm,Priority,Module) :-
193 demon_suspend(tent_call_prior(InVars,InParams,NewGoal,GlobVar,OutParams,OutVars,Module),Priority,InVars->ga_chg,Susp),
194 demon_suspend(kill_tent_check(InVars,Goal,Susp,S,Module),Prior,InVars->inst,S).
198 kill_tent_check(InVars,Goal,Susp,S,Module) :-
200 call(Goal)@Module,
206 tent_call_prior(?InVars,?Goal,?OutVars,+Module)
214 tent_call_prior(InVars,InParams,NewGoal,GlobVar,OutParams,_OutVars,Module)
[all...]
H A Dprobe_support.pl166 demon_suspend(Goal,Prior,Cond,Susp,Module) :-
167 suspend(Goal,Prior,Cond,Susp)@Module,
172 my_tent_call(?InTerm,?Goal,?OutTerm,+Priority,+Module)
184 my_tent_call(InTerm,Goal,OutTerm,Priority,Module) :-
192 demon_suspend(tent_call_prior(InVars,InParams,NewGoal,GlobVar,OutParams,OutVars,Module),Priority,InVars->ga_chg,Susp),
193 demon_suspend(kill_tent_check(InVars,Goal,Susp,S,Module),Prior,InVars->inst,S).
197 kill_tent_check(InVars,Goal,Susp,S,Module) :-
199 call(Goal)@Module,
205 tent_call_prior(?InVars,?Goal,?OutVars,+Module)
213 tent_call_prior(InVars,InParams,NewGoal,GlobVar,OutParams,_OutVars,Module)
[all...]
H A Drepair.pl500 r_conflict(Constraint,SetName-Annotation,Module) ?- !,
502 r_conflict(Constraint,Set,Annotation,1,Module).
503 r_conflict(Constraint,SetName,Module) :-
505 r_conflict(Constraint,Set,Constraint,1,Module).
508 r_conflict_prop(Constraint,SetName-Annotation,Module) ?- !,
510 r_conflict(Constraint,Set,Annotation,0,Module).
511 r_conflict_prop(Constraint,SetName,Module) :-
513 r_conflict(Constraint,Set,Constraint,0,Module).
521 %r_conflict((Val #:= Expr),Set,Annotation,Prop,Module) ?-
523 % tent_is_(Set,Val,Expr,Annotation,Module)
[all...]
H A Dshadow_cons.pl117 shadow_call(Name, Cons, Module) :-
119 error(4, shadow_call(Name,Cons,Module)).
120 shadow_call(Name, Cons, Module) :-
122 error(5, shadow_call(Name,Cons,Module)).
123 shadow_call(Name, Cons, Module) :-
131 call(ShadowCons)@Module.
/barrelfish-2018-10-04/usr/eclipseclp/Opium/
H A Dopium.pl118 opium_error_handler(68, Goal, Module) :- % undefined procedure called
119 to_be_autoloaded(Goal, Module, NewGoal),
121 call(NewGoal, Module).
122 opium_error_handler(68, Goal, Module) :-
123 error(default(68), Goal, Module).
124 opium_error_handler(134, Goal, Module) :- % not consecutive clauses
128 opium_error_handler(134, Goal, Module) :-
129 error(default(134), Goal, Module).
196 % opium_toplevel_prompt(_, Module) :-
199 % write(Out, Module),
[all...]
H A Dopium_light_kernel_patch.pl105 opium_toplevel_prompt(_153, Module) :-
107 printf(PromptStream, " *%w*: %b", [Module]).
157 curr_pred(Module:_/_),
158 configure_prefilter(Call, Depth, Port, Pred, Module),
/barrelfish-2018-10-04/usr/skb/programs/
H A Dplat_omap44xx.pl130 module: Module,
137 DriverInfo = driver(Module, Mode, DepInfo).
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/
H A Dchr.pl294 'CHRdelay'(Vars, Goal, Module) :-
295 make_suspension(Goal, 3, Susp, Module),
328 chr_labeling(Module):-
330 call('CHRlabel_with'(Constraint, Goal, Nb), Module),
333 call(Goal, Module),
334 chr_labeling(Module)
346 chr_label_with(Constraint, Module) :-
347 call('CHRlabel_with'(Constraint, _Goal, 0), Module).
365 chr_resolve(Constraint, Module) :-
368 ( call(is_predicate(Goal_Functor/Arity), Module)
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dumserrors.tex57 Event number & Culprit goal & Caller Module \\
150 130 & Culprit clause & Module \\
151 131 & Culprit clause & Module \\
152 132 & Culprit clause & Module \\
154 134 & Procedure Name/Arity & Module \\
155 135 & Procedure Name/Arity & Module \\
156 136 & Procedure Name/Arity & Module \\
157 137 & Procedure Name/Arity & Module \\
159 139 & (File, Size, Time), see below & Module\\
161 141 & Goal & Module \\
[all...]

Completed in 297 milliseconds

12345