在 NRULES 中实现前向链接的最佳方式

Best way to achieve forward chaining in NRULES

我想运行一个基于之前规则结果的规则。如何使用前向链接实现此功能?我不想为每个规则创建不同的 class 对象来实现前向链接。

在此示例中,仅为此一条规则创建 InstantDiscount 对象以实现正向链接。

public class PreferredCustomerDiscountRule : Rule
{
    public override void Define()
    {
        Customer customer = null;
        IEnumerable<Order> orders = null;
        Double total = Double.NaN;

        When()
            .Match<Customer>(() => customer, c => c.IsPreferred)
            .Query(() => orders, x => x
                .Match<Order>(
                    o => o.Customer == customer,
                    o => o.IsOpen)
                .Collect())
            .Let(() => total, () => orders.Sum(x => x.Amount))
            .Having(() => total > 1000);

        Then()
            .Yield(_ => new InstantDiscount(customer, total * 0.05));
    }
}

public class PrintInstantDiscountRule : Rule
{
    public override void Define()
    {
        InstantDiscount discount = null;

        When()
            .Match(() => discount);

        Then()
            .Do(_ => Console.WriteLine("Customer {0} has instant discount of {1}", 
                discount.Customer.Name, discount.Amount));
    }
}

前向链接是一个过程,其中一个规则以激活其他规则的方式更改规则引擎的工作内存。这可以通过将新事实插入规则引擎(在 NRules 中使用 Yield 或 IContext.Insert)或通过更改一些现有事实(使用 IContext.Update)来实现。

这是原始示例,重新制定以将折扣附加到客户事实,然后更新该事实以实现前向链接。

public class PreferredCustomerDiscountRule : Rule
{
    public override void Define()
    {
        Customer customer = null;
        IEnumerable<Order> orders = null;
        Double total = Double.NaN;

        When()
            .Match<Customer>(() => customer, c => c.IsPreferred, c => !c.DiscountPercent.HasValue)
            .Query(() => orders, x => x
                .Match<Order>(
                    o => o.Customer == customer,
                    o => o.IsOpen)
                .Collect())
            .Let(() => total, () => orders.Sum(x => x.Amount))
            .Having(() => total > 1000);

        Then()
            .Do(ctx => ApplyDiscount(customer, 0.05))
            .Do(ctx => ctx.Update(customer));
    }

    private static void ApplyDiscount(Customer customer, double discount)
    {
        customer.DiscountPercent = discount;
    }
}

public class DicsountNotificationRule : Rule
{
    public override void Define()
    {
        Customer customer = null;

        When()
            .Match(() => customer, c => c.DiscountPercent.HasValue);

        Then()
            .Do(_ => Console.WriteLine("Customer {0} has instant discount of {1}%", 
                customer.Name, customer.DiscountPercent));
    }
}

当通过更新现有事实进行前向链接时,必须注意不要重新激活更新事实的规则,以避免不希望的递归。 NRules 中有几种控制递归的机制:

  • 以更新使规则条件无效的方式编写条件(这就是我们在上面的示例中所做的;设置折扣后,规则将不再匹配)
  • 在规则上使用可重复性属性以防止重新触发
  • 使用议程过滤器仅在匹配事实发生某些变化时才激活规则。

后两个选项在 NRules 文档中有描述。