/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | setof.pl | 63 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 D | branch_and_bound.pl | 196 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 D | meta.pl | 99 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 D | debug.pl | 79 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 D | development_support.pl | 68 /* 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 D | structures.pl | 63 define_struct(Struct, Module) :- 67 export(struct(Struct))@Module. 79 portray_struct(Stream, Struct, Module) :- 82 current_struct(Functor, Def)@Module,
|
H A D | tconv.pl | 106 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 D | quintus.pl | 524 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 D | sicstus.pl | 156 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 D | tracer_tty.pl | 388 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 D | tracer.pl | 409 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 D | toplevel.pl | 309 % 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 D | mps.pl | 69 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 D | apply.pl | 104 apply_(Term, AddArgs, Module) :- atom(Term), !, 106 call(Goal)@Module. 107 apply_(Term, AddArgs, Module) :- 111 call(Goal)@Module.
|
H A D | events.pl | 227 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 D | matrix_util.pl | 311 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 D | ic_probe_support.pl | 167 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 D | probe_support.pl | 166 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 D | repair.pl | 500 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 D | shadow_cons.pl | 117 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 D | opium.pl | 118 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 D | opium_light_kernel_patch.pl | 105 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 D | plat_omap44xx.pl | 130 module: Module, 137 DriverInfo = driver(Module, Mode, DepInfo).
|
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/ |
H A D | chr.pl | 294 '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 D | umserrors.tex | 57 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...] |