/barrelfish-2018-10-04/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/ |
H A D | Fail.java | 27 //Description: Exception thrown when an rpc goal fails. 32 * Exception thrown when an ECLiPSe rpc goal fails. 34 * must be caught if you want to test for failure of the goal. 38 Object goal; field in class:Fail 39 Fail(Object goal) argument 41 this.goal = goal ;
|
H A D | Throw.java | 27 //Description: Exception thrown when an rpc goal throws an ECLiPSe error. 31 * Exception thrown when an rpc goal throws an ECLiPSe error. 32 * A <i>Throw</i> exception occurs when an ECLiPSe goal exits 39 Object goal; field in class:Throw 40 Throw(Object goal) argument 42 this.goal = goal ;
|
H A D | EclipseMultitaskConnectionImpl.java | 86 public CompoundTerm rpc(String goal) throws EclipseException, IOException { argument 89 return eclipse.rpc(goal); 92 return multitaskGoalQueue.execute(goal); 95 public CompoundTerm rpc(CompoundTerm goal) throws EclipseException, IOException { argument 98 return eclipse.rpc(goal); 101 return multitaskGoalQueue.execute(goal); 220 public CompoundTerm execute(Object goal) throws IOException, EclipseException { argument 221 MultitaskGoal mg = new MultitaskGoal(goal); 265 if (mg.goal instanceof CompoundTerm) { 266 mg.result = eclipse.rpc((CompoundTerm)mg.goal); 289 private Object goal; field in class:EclipseMultitaskConnectionImpl.MultitaskGoal 293 MultitaskGoal(Object goal) argument [all...] |
H A D | EclipseConnection.java | 51 * @param goal the goal as it would be typed in on the ECLiPSe command line, 53 * @throws EclipseException if execution of the goal fails or throws an 59 * @return a <i>CompoundTerm</i> representing the goal, with any variables 62 public CompoundTerm rpc(String goal) throws EclipseException, IOException; argument 66 * @param goal the goal represented as a <i>CompoundTerm</i>. 67 * @throws EclipseException if execution of the goal fails or throws an 73 * @return a <i>CompoundTerm</i> representing the goal, with any variables 76 public CompoundTerm rpc(CompoundTerm goal) throw argument [all...] |
H A D | EclipseConnectionImpl.java | 308 public synchronized CompoundTerm rpc(String goal) throws EclipseException, argument 312 return executeRpc(goal); 363 public synchronized CompoundTerm rpc(CompoundTerm goal) throws EclipseException, IOException argument 366 return executeRpc(goal); 374 private CompoundTerm executeRpc(Object goal) throws EclipseException, IOException argument 376 // send the goal object to ECLiPSe 377 sendGoal(goal); 380 // executing the rpc goal. 382 // receive the goal term from ECLiPSe 390 throw new Fail(goal); 579 sendGoal(Object goal) argument [all...] |
H A D | OutOfProcessEclipse.java | 263 // if user has set default module in options, add goal to do 270 else // Otherwise just add a goal to start the joop_boot 364 public CompoundTerm rpc(String goal) throws EclipseException, IOException argument 366 return(eclipseConnection.rpc(goal)); 369 public CompoundTerm rpc(CompoundTerm goal) throws EclipseException, IOException argument 371 return(eclipseConnection.rpc(goal));
|
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ilog/ |
H A D | fd_fd.pl | 35 :- define_macro(constraints_number/2, tr_fd_fd/2, [goal]). 36 :- define_macro(fd_eval/1, tr_fd_fd/2, [goal]). 37 :- define_macro(is_integer_domain/1, tr_fd_fd/2, [goal]). 38 :- define_macro(deleteffc3, tr_fd_fd/2, [goal]). 39 :- define_macro(dvar_range/3, tr_fd_fd/2, [goal]). 40 :- define_macro(dvar_size/3, tr_fd_fd/2, [goal]). 41 :- define_macro(maxdomain/2, tr_fd_fd/2, [goal]). 42 :- define_macro(mindomain/2, tr_fd_fd/2, [goal]). 43 :- define_macro(dvar_domain_list/2, tr_fd_fd/2, [goal]). 44 :- define_macro(dvar_remove_element/2, tr_fd_fd/2, [goal]) [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | bip_heapevents.c | 87 free_heapterm(&event->goal); 108 * we have to avoid looping: overwrite event->goal with nil for 112 pword pw = event->goal; 113 Make_Nil(&event->goal); 115 event->goal = pw; 191 res = res == PSUCCEED ? create_heapterm(&event->goal, vevent, tevent) : res; 199 /* The goal *may* have an embedded reference to the handle, 225 pword goal; local 231 get_heapterm(&event->goal, &goal); [all...] |
H A D | init.c | 429 pword goal, module; local 432 Make_Atom(&goal, enter_dict("cleanup_before_exit", 0)); 435 res = main_emulc_noexit(goal.val, goal.tag, module.val, module.tag);
|
/barrelfish-2018-10-04/usr/eclipseclp/Opium/ |
H A D | opium_light_kernel_patch.pl | 44 struct(tf(invoc,goal,depth,chp,parent,proc,module)), 117 Frame = tf with [invoc:Call,goal:Goal,depth:Depth,module:M], 137 Frame = tf with [goal:Goal,module:M], 142 TraceLine = trace_line with frame:(tf with goal:Goal), 147 TraceLine = trace_line with frame:(tf with goal:Goal),
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | exthsusp.tex | 35 rule that is more flexible than simple left-to-right goal selection. 36 The core feature is the ability to suspend the execution of a goal 72 top-level goal 87 and the goal p, the resolvent goes through the following states 88 before the goal is proven (by reduction to true) and the computation terminates: 103 \index{suspended goal} 115 When a toplevel goal is launched, it has priority 12 and is the only 160 There is 1 delayed goal. 165 query is true or false. The goal remains delayed and we have a case of 172 later, the delayed goal wil [all...] |
H A D | umscmdlineopts.tex | 50 \item[$-$e goal]\cmdlineoptionidx{e} 52 goal \notation{goal}. \notation{goal} is given in normal Prolog syntax, and has 59 %goal will not be executed when making the saved state, but when restoring it. 63 executed Prolog goal (0 for success, 1 for failure, 2 for abort).
|
H A D | umsexcept.tex | 44 \item they are handled synchronously by a handler goal that is inserted 55 and usually pass the culprit goal to the error handler. 125 The built-in takes a handler goal and creates an anonymous event handle Event. 128 The handler goal can be of any arity and can take arbitrary arguments. 131 is raised, a copy of the handler goal with fresh variables will be executed). 268 Using the suspension and event handling mechanisms together, a goal can be 270 To achieve this, the goal is suspended and attached to a symbolic 271 trigger, which is triggered by an afer-event handler. The goal behaves 273 the suspended goal is created, the goal wil [all...] |
H A D | umsdebug.tex | 36 A procedure invocation (or goal) is represented by a box with entry 63 sure to fail, i.e., indexing is shown) unify with the goal. 74 \item a \emph{level} that is one higher than that of its parent goal. 97 failed or because a sub-goal failed), the flow of the execution exits 118 later goal fails. The backtracking will cause failing of all 138 %a called goal, a UNIFY port is traced to show the result of the 160 and then execution continues via a normal call of the recovery goal 169 %Each goal whose choice point is removed are traced with a CUT port. 171 %the destruction (performed by the cut) of the choice point of a goal. 172 %When a goal ha [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/lib_tcl/ |
H A D | tkeclipse.tcl | 94 set tkecl(goal) {} 258 # return if entry empty (avoids calling the goal 'end_of_file') 259 if [regexp -- {^[ ]*$} $tkecl(goal)] { 270 # Need to cut&fail the old goal first! To do this, we write an 281 set tkecl(toplevel_in_command_exdr) [ec_tcl2exdr [list $run_mode $tkecl(goal)] (S)] 283 lappend tkecl(history) $tkecl(goal) 284 .tkecl.query.goal_entry add $tkecl(goal) 287 .ec_tools.history.box insert 0 $tkecl(goal) 343 foreach goal $tkecl(history) { 344 $history.box insert 0 $goal [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | extpropia.tex | 42 to integer domains, but can be applied to any goal the user cares to specify 47 It is non-trivial if it enables any variables in the goal to become 64 Any goal \verb0Goal0 in the Prolog program, can be transformed into a 67 the original goal, but its behaviour is quite different. 68 Instead of evaluating the goal by non-deterministically selecting 73 before selecting an ordinary Prolog goal and evaluating it. In this 85 A goal, such as \verb0member(X,[1,2,3])0, is turned into a constraint 95 We first show the behaviour of the original goal: 119 corresponding goal as well. 184 There is 1 delayed goal [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | tkdebug.tex | 191 \item The invocation number of this goal, which uniquely 194 \item The depth of the goal, i.e. the number of its ancestors. 201 \item This only appears if the goal is executing at a different priority 203 the priority that the goal is executed at. 204 \item The goal is printed according to the current instantiations 222 body goal that corresponds to the goal at the debug port; and the 224 current goal, which is updated at each debug port. The goals are 228 goal is not `current', i.e.\ the bindings shown are as they were when the 229 goal wa [all...] |
H A D | constimpl.tex | 54 In this example, both the member/2 goal and the inequality goal could 219 There is 1 delayed goal. 252 There is 1 delayed goal. 273 There is 1 delayed goal. 279 There is 1 delayed goal. 296 There is 1 delayed goal. 329 The computation typically starts with a top-level goal, 341 and the goal p, the resolvent goes through the following states 342 before the goal i [all...] |
H A D | programanalysis.tex | 111 currently executing goal 100 times a second. 115 goal succeeded 135 \item The first line of output indicates whether the specified goal 138 \item The line beginning \verb+Goal:+ shows the goal which was 140 \item The next line shows the time spent executing the goal. 147 executing the goal. In fact in the above example the profiler was 148 only able to take two samples before the goal terminated. 152 predicate which calls the goal a number of times, and compile and 167 goal succeeded
|
/barrelfish-2018-10-04/include/skb/ |
H A D | skb.h | 38 errval_t skb_execute(char *goal); 56 debug_printf("skb goal:%s\n", skb_get_last_goal()); \ 64 debug_printf("skb goal:%s\n", skb_get_last_goal()); \
|
/barrelfish-2018-10-04/lib/skb/ |
H A D | skb_functions.c | 58 errval_t skb_execute(char *goal) argument 63 last_goal = goal; 64 err = skb_state->skb->rpc_tx_vtbl.run(skb_state->skb, goal, output,
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | apply.pl | 51 This library defines the apply/2 predicate which constructs a goal 78 Invokes a goal that is formed by appending the elements of the 82 % The following three examples all invoke the goal plus(1,2,X):
|
H A D | tracer_tty.pl | 107 Frame = tf{invoc:Invoc,goal:Goal,depth:Depth,prio:Prio,module:M}, 121 (Pos == [], Type == goal -> 148 get_suspension_data(S, goal, Goal), 213 % Cont is a goal to execute before continuing 253 get_param_default("fail goal", here, N), 339 "failure culprit was (%d) - the goal you are currently at", 376 get_param_default("examine goal", Invoc, N), 448 Frame = tf{goal:Goal}, 458 Frame = tf{goal:Goal}, 512 Frame = tf{goal [all...] |
H A D | apply_macros.pl | 135 append(VarArgs, [In, Out], NewGoalArgs), % make new goal 154 append(VarArgs, [From,To], NewGoalArgs), % make new goal 179 append(VarArgs, [In, Out], NewGoalArgs), % make new goal 203 append(VarArgs, [In, Out], NewGoalArgs), % make new goal 224 append(VarArgs, [List], NewGoalArgs), % make new goal 245 append(VarArgs, [List, AccIn, AccOut], NewGoalArgs), % make new goal 263 append(VarArgs, [In, Out], NewGoalArgs), % make new goal 297 append(VarArgs, [Term], NewGoalArgs), % make new goal 339 append(VarArgs, [Term, AccIn, AccOut], NewGoalArgs), % make new goal 377 append(VarArgs, [Term, AccIn, AccOut], NewGoalArgs), % make new goal [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | label.pl | 76 % If something is manually modified, it is returned in the Label goal. 148 (Stop = goal(G1) -> 149 getval(goal, G), 155 setval(mode, retry(goal(G1))), 181 getval(goal, G), 194 setval(goal, G), 201 Back = goal(G1), 206 setval(goal, G), 381 getval(goal, G), 383 setval(stop, goal( 862 goal :- label [all...] |