Searched refs:goal (Results 1 - 25 of 174) sorted by relevance

1234567

/barrelfish-2018-10-04/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DFail.java27 //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 DThrow.java27 //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 DEclipseMultitaskConnectionImpl.java86 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 DEclipseConnection.java51 * @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 DEclipseConnectionImpl.java308 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 DOutOfProcessEclipse.java263 // 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 Dfd_fd.pl35 :- 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 Dbip_heapevents.c87 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 Dinit.c429 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 Dopium_light_kernel_patch.pl44 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 Dexthsusp.tex35 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 Dumscmdlineopts.tex50 \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 Dumsexcept.tex44 \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 Dumsdebug.tex36 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 Dtkeclipse.tcl94 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 Dextpropia.tex42 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 Dtkdebug.tex191 \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 Dconstimpl.tex54 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 Dprogramanalysis.tex111 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 Dskb.h38 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 Dskb_functions.c58 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 Dapply.pl51 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 Dtracer_tty.pl107 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 Dapply_macros.pl135 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 Dlabel.pl76 % 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...]

Completed in 149 milliseconds

1234567