icparc_solvers/ech/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, RuleType),
1402 syntax_check([Rule|Rules], Constraints, PRules, Module) :-
1403     check_one_rule0(Rule, Constraints, PRules, Module),
1408     (FRule = (Name ::= Rule) ->
1409         check_one_rule(Rule, Constraints, Processed, Name, Module)
1415     Rule = (KeepHeads\DeleteHeads<=>Body),
1422     simpogation_action(Type, Rule, KHeadsL0, KHeadsL, DHeadsL0, DHeadsL, Body,
1425     Rule = (Heads <=> Body),
1428     definedheads(HeadList, Constraints, delete, [], HeadList0, Body, 0, Rule,
1431     Rule = (Heads==>Body),
1434     definedheads(HeadList, Constraints, keep, HeadList0, [], Body, 0, Rule,
1438 simpogation_action(not_reducible, Rule, KHeadsL0, KHeadsL, DHeadsL0, DHeadsL,
1441     definedheads(KHeadsL, Constraints, keep, KHeadsL0, DHeadsL0, Body, 0, Rule,
1443     definedheads(DHeadsL, Constraints, delete, KHeadsL0, DHeadsL0, Body, 0, Rule,
1445 simpogation_action(nobody, Rule, KHeadsL0, _KHeadsL, DHeadsL0, DHeadsL,
1448       Rule, Name, not_prop, nil, Processed).
1449 simpogation_action(twobodies, Rule, KHeadsL0, _KHeadsL, DHeadsL0, DHeadsL,
1452       Rule, Name, not_prop, twobodies(InvBody), Processed).
1461         +Body, +N, +Rule, +Name, +PropNum, +Info, +Processed)
1462     definedheads checks if the head constraints in HeadList of rule Rule are
1479 definedheads([H|Hs0], Constraints, Status, AllKHeads, AllDHeads, Body, N0, Rule,  Name, NProp, Info, Processed) ?-
1485           addto_processed(ConsNum, Rule, keep, H, OtherHeads, AllDHeads, Body,
1488           addto_processed(ConsNum, Rule, delete, H, AllKHeads, OtherHeads,
1491        definedheads(Hs0, Constraints, Status, AllKHeads, AllDHeads, Body, N1, Rule, Name, NProp, Info, Processed)
1494        pretty_write(Rule)
1575 /* addto_processed(+ConsNo, +Rule, +Status, +Head, +KeepHeads, +DeleteHeads,
1577    adds information about rule Rule when the trying of the rule is initiated
1587 addto_processed(ConsNo, Rule, Status, Head, KeepHeads, DeleteHeads, Body, Name,
1590      setarg(ConsNo, Processed, [rule(Rule,Status,Head,KeepHeads,DeleteHeads,Body, NProp, Info, Name)|RulesList]).