Searched refs:Rule (Results 1 - 10 of 10) sorted by relevance
/barrelfish-master/usr/eclipseclp/Opium/demo/ |
H A D | expert_system.pl | 19 Rule:if Cond then Goal, label
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | chr.pl | 235 !, %%% Rule already used with this partner 435 double_rule(Head1, Head2, Kind, Guard, Body, Rule), 438 printf(debug_output, "%s: %p\n", [Name, Rule]) 459 double_rule(Head1, Head2, Kind, Guard, Body, Rule) :- 464 Rule = (Head1, Head2 <=> G | B). 465 double_rule(Head1, Head2, Kind, Guard, Body, Rule) :- 468 Rule = (Head1, Head2 ==> Guard | Body) 471 Rule = (Head1, Head2 <=> Guard | Body) 474 Rule = (Head1 \ Head2 <=> Guard | Body) 477 Rule [all...] |
H A D | chr2pl.pl | 153 treat(Rule) :- 154 is_rule(Rule), 156 syn_rule(Rule, Syn), 212 syn_rule((Name @ Rule), rule(Kind, Name, Heads, Guard, Body)) :- 214 syn_anonym_rule(Rule, Kind, Heads, Guard, Body). 215 syn_rule(Rule, rule(Kind, Name, Heads, Guard, Body)) :- 218 syn_anonym_rule(Rule, Kind, Heads, Guard, Body). 256 preprocess_rule(rule(replacement, Name, [Head1, Head2], Guard, B), Rule) :- 261 Rule = rule(augmentation, Name, [Head1, Head2], (Guard, G), Body) 264 Rule [all...] |
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
H A D | ech.pl | 119 record_chrrule(Rule, [], Module) :- 122 recorda('CHRcode', Rule)@Module. 129 Rule = (Name ::= Np1-(Rule1)) ; Rule = Np1-(Rule0) 131 recorda('CHRcode', Rule)@Module, 135 NamedRule = (_Name ::= Rule), 136 ( Rule = (Head ==> Body) -> record_chrprule(NamedRule, [], Module) 137 ;( Rule = (Head <=> Body) -> record_chrrule(NamedRule, [], Module) 380 gen_code_for_constraint([rule(Rule,Status,Head,KeepHeads,DeleteHeads,Body, 396 rule_type(Rule, RuleTyp [all...] |
/barrelfish-master/lib/octopus/parser/ |
H A D | parse.c | 852 # define YY_REDUCE_PRINT(Rule) \ 855 yy_reduce_print (yyvsp, Rule); \ 865 # define YY_REDUCE_PRINT(Rule)
|
/barrelfish-master/lib/acpica/source/include/ |
H A D | acinterp.h | 726 UINT32 Rule); 730 UINT32 Rule);
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsintro.tex | 160 %\subsection{Occur Check and Complete Search Rule}
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | propiachr.tex | 513 Head <=> Guard | Body. %Simplification Rule 519 Head ==> Guard | Body. %Propagation Rule
|
/barrelfish-master/doc/003-hake/ |
H A D | Hake.tex | 376 data HRule = Rule [ RuleToken ] 403 An actual basic Makefile rule is constructed by \texttt{Rule} as a
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | extchr.tex | 219 Statement & Declaration \OU Option \OU Rule \OU Clause \\ 256 Rule & SimplificationRule \OU PropagationRule \OU SimpagationRule \\
|
Completed in 176 milliseconds