Searched refs:Rule (Results 1 - 10 of 10) sorted by relevance

/barrelfish-master/usr/eclipseclp/Opium/demo/
H A Dexpert_system.pl19 Rule:if Cond then Goal, label
/barrelfish-master/usr/eclipseclp/ecrc_solvers/
H A Dchr.pl235 !, %%% 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 Dchr2pl.pl153 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 Dech.pl119 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 Dparse.c852 # 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 Dacinterp.h726 UINT32 Rule);
730 UINT32 Rule);
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsintro.tex160 %\subsection{Occur Check and Complete Search Rule}
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dpropiachr.tex513 Head <=> Guard | Body. %Simplification Rule
519 Head ==> Guard | Body. %Propagation Rule
/barrelfish-master/doc/003-hake/
H A DHake.tex376 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 Dextchr.tex219 Statement & Declaration \OU Option \OU Rule \OU Clause \\
256 Rule & SimplificationRule \OU PropagationRule \OU SimpagationRule \\

Completed in 122 milliseconds