Searched refs:ancestor (Results 1 - 15 of 15) sorted by relevance

/barrelfish-2018-10-04/usr/eclipseclp/Opium/demo/
H A Dwave.pl24 ancestor(Y, X),
27 ancestor(X,Y) :-
29 ancestor(X,Z) :-
30 ancestor(Y,Z),
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/
H A Dprolog.tex526 The following defines the ancestor/2 predicate by giving two alternative
529 ancestor(X,Y) :- parent(X,Y).
530 ancestor(X,Y) :- parent(Z,Y), ancestor(X,Z).
537 ancestor rule above states that if X is a parent of Y, then this
538 implies that X is an ancestor of Y. The second rule, which specifies
539 another way X can be an ancestor of Y states that if some other
540 person, Z, is the parent of Y, {\it and\/} X is an ancestor of Z,
541 then this implies that X is also an ancestor of Y.
590 % capital(City,Country) ancestor(
[all...]
H A Dtkdebug.tex227 stack, the ancestor goals are displayed in black: this indicates that the
349 as we skipped over the tracing of some ancestor goals. We can see these
421 the ancestor goals \verb'do_colouring(prolog,...)', as the next parent
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/
H A Ddebugger.tex60 \index{ancestor stack}
62 maintains an ancestor (goal) stack, when in debugging mode.
80 in Prolog, passing this ancestor stack and possibly some additional
86 On failure, the ancestor stack is popped (since it is a logical data
102 display a next port for the (visible) ancestor, or possibly a port
135 % traced ancestor which is not notrace/1. This is used
340 since the ancestor CALL port.
/barrelfish-2018-10-04/kernel/
H A Dcap_delete.c183 struct cte *ancestor = mdb_find_ancestor(cte); local
184 if (ancestor) {
185 mdb_set_relations(ancestor, RRELS_DESC_BIT, RRELS_DESC_BIT);
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/
H A Dscheduler.c183 #define SMSG_CHOP 5 /* child, parent, ancestor */
221 6. coma -> common ancestor
736 #define sch_msg_snd_chop(child,parent,ancestor) \
737 smsg_snd10((child),SMSG_CHOP,(parent),(ancestor))
1262 ** common ancestor which should not happen, I have to comment
1963 static void sch_msg_hdl_chop(self,parent,ancestor)
1964 st_id_t *self, *parent, *ancestor;
1992 sch_msg_hdl_chop(SubTree(&twig), &twig, ancestor),
1993 sch_msg_snd_chop(SubTree(&twig), &twig, ancestor)
2003 sch_msg_hdl_chop(SubTree(&twig), &twig, ancestor),
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dumsusing.tex481 ancestor(X, Y) :- father(X, Y).
482 ancestor(X, Y) :- ancestor(X, Z), ancestor(Z, Y).
490 The two predicates \predspec{father/2} and \predspec{ancestor/2} are now
742 ancestor(X, Y) :- father(X, Y).
743 ancestor(X, Y) :- ancestor(X, Z), ancestor(Z, Y).
H A Dumsintro.tex275 %to abandon the execution of a goal, return to a specified ancestor
H A Dumsdebug.tex114 which contains the disjunction (the immediate ancestor).
279 i.e., the number of its ancestor boxes. When a subgoal is called, the
1075 \cmd{g}{ancestor}\\
1076 Move to and display the ancestor goal (or parent) of the displayed goal.
1081 This must be one of the active goals, i.e., either an ancestor of the
H A Dextsuspend.tex303 and return a list of continuations for all ancestor compound arguments.
/barrelfish-2018-10-04/usr/eclipseclp/Opium/
H A Dloadopium.pl148 make(ancestor, opium, UntrGlobal, SD, OD),
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/
H A Dxml.pl53 * error and the message will show a list of its ancestor elements in the form
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Dtracer_tty.pl158 % print ancestor if it exists, otherwise fail
276 writeln(debug_output, "ancestor"),
591 g goto ancestor goal (caller)\n\
H A Dtracer.pl153 % common ancestor of the failed and the redone goal.
/barrelfish-2018-10-04/doc/022-armv8/
H A Dreport.tex587 hagfish is a basal chordate i.e. something like the ancestor of all fishes.}.

Completed in 122 milliseconds