Searched refs:ancestor (Results 1 - 15 of 15) sorted by relevance
/barrelfish-2018-10-04/usr/eclipseclp/Opium/demo/ |
H A D | wave.pl | 24 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 D | prolog.tex | 526 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 D | tkdebug.tex | 227 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 D | debugger.tex | 60 \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 D | cap_delete.c | 183 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 D | scheduler.c | 183 #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 D | umsusing.tex | 481 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 D | umsintro.tex | 275 %to abandon the execution of a goal, return to a specified ancestor
|
H A D | umsdebug.tex | 114 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 D | extsuspend.tex | 303 and return a list of continuations for all ancestor compound arguments.
|
/barrelfish-2018-10-04/usr/eclipseclp/Opium/ |
H A D | loadopium.pl | 148 make(ancestor, opium, UntrGlobal, SD, OD),
|
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/ |
H A D | xml.pl | 53 * 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 D | tracer_tty.pl | 158 % print ancestor if it exists, otherwise fail 276 writeln(debug_output, "ancestor"), 591 g goto ancestor goal (caller)\n\
|
H A D | tracer.pl | 153 % common ancestor of the failed and the redone goal.
|
/barrelfish-2018-10-04/doc/022-armv8/ |
H A D | report.tex | 587 hagfish is a basal chordate i.e. something like the ancestor of all fishes.}.
|
Completed in 122 milliseconds