<?xml version="1.0" encoding="UTF-8"?>

<RuleML
xmlns="http://www.ruleml.org/1.0/xsd"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://www.ruleml.org/1.0/xsd http://www.ruleml.org/1.0/xsd/datalog.xsd">
  <oid>
    <Ind>
    BUSINESS RULES IN RuleML                            Harold Boley, 1 Apr. 2002
    (revised Nov 2005)

    Discounting rules were discussed as an example of prioritized conflict handling
    in Benjamin N. Grosof, Yannis Labrou, Hoi Y. Chan: A Declarative Approach to
    Business Rules in Contracts: Courteous Logic Programs in XML. Proc. EC99.

　　规则库定义了以下业务规则，他们彼此没有优先顺序，分别是：
　　* 顾客和产品折扣的业务规则（推理1、2）
　　* 优质顾客、使用链（推理3）

　　同时还提供了 某个特定客户（事实3） 的 有关产品的业务事实（事实1、2）

　　最后要求这个规则库提供一个用于测试的查询（查询1）

　　这些例子可以容易的进一步延伸到：客户分类，产品折扣条件 等

</Ind>
  </oid>

<Assert mapClosure="universal">
<oid><Ind>断言的内容，如规则或者事实</Ind></oid>

<Implies>
  <oid>
    <Ind>
    推断 1
    如果顾客是优质的，并且产品是标准的，那么顾客购买这个产品时可以享受5.0 %的折扣　　

    请注意，一个独立常量可以构成一个完整短语，就像“5.0 %”。它只能用于变量和独立常量，并以具有完全相同的拼写（包括空格）。
    我们可以完善这个标记，通过引入一个“百分之[5.0]”的构造术语，由此从Datalog转向Horn logic
    </Ind>
  </oid>
  <if>
    <And>
      <Atom>
        <op><Rel>优质的</Rel></op>
        <Var>顾客</Var>
      </Atom>
      <Atom>
        <op><Rel>标准的</Rel></op>
        <Var>产品</Var>
      </Atom>
    </And>
  </if>
  <then>
    <Atom>
      <op><Rel>享受折扣</Rel></op>
      <Var>顾客</Var>
      <Var>产品</Var>
      <Ind>5.0 %</Ind>
    </Atom>
  </then>
</Implies>

<Implies>
  <oid>
    <Ind>
    推断 2
    如果顾客是优质的并且产品是奢侈的，那么顾客购买这个产品时可以享受7.5 %的折扣。
    </Ind>
  </oid>
  <if>
    <And>
      <Atom>
        <op><Rel>优质的</Rel></op>
        <Var>顾客</Var>
      </Atom>
      <Atom>
        <op><Rel>奢侈的</Rel></op>
        <Var>产品</Var>
      </Atom>
    </And>
  </if>
  <then>
    <Atom>
      <op><Rel>享受折扣</Rel></op>
      <Var>顾客</Var>
      <Var>产品</Var>
      <Ind>7.5 %</Ind>
    </Atom>
  </then>
</Implies>

<Implies>
  <oid>
    <Ind>
    推断 3
    如果他在去年最少花费了5000欧元，那么这个顾客是优质的。

    请注意，“去年”可以被看作独立常量构成的完整短语。
    它也可以被看作是一个半正式的结构，业务描述过程中使用，而在解释时会被进一步解释的变量。

    同样，“最少5000欧元”也可以被看作一个独立常量短语。
    它也可以被看作是一个半正式的结构，最终被替换成“大于”带单位的的数字。
    </Ind>
  </oid>
  <if>
    <Atom>
      <op><Rel>花费</Rel></op>
      <Var>顾客</Var>
      <Ind>最少5000欧元</Ind>
      <Ind>去年</Ind>
    </Atom>
  </if>
  <then>
    <Atom>
      <op><Rel>优质的</Rel></op>
      <Var>顾客</Var>
    </Atom>
  </then>
</Implies>

  <Atom>
    <oid>
      <Ind>
    事实 1
    保时捷是奢侈的。
      </Ind>
    </oid>
    <op><Rel>奢侈的</Rel></op>
    <Ind>保时捷</Ind>
  </Atom>

  <Atom>
    <oid>
      <Ind>
    事实 2
    本田是标准品。
      </Ind>
    </oid>
    <op><Rel>标准的</Rel></op>
    <Ind>本田</Ind>
  </Atom>

  <Atom>
    <oid>
      <Ind>
    事实 3
    Peter Miller在去年最少花费了5000欧元.

    请注意，在这个例子中“最少5000欧元” 和 “去年” 直接使用的独立常量短语。
    因此，这些半正式结构体可在早期正规化过程阶段，调试规则时使用。
      </Ind>
    </oid>
    <op><Rel>花费</Rel></op>
    <Ind>Peter Miller</Ind>
    <Ind>最少5000欧元</Ind>
    <Ind>去年</Ind>
  </Atom>

</Assert>

<Query>
  <oid><Ind>查询内容</Ind></oid>

  <Atom>
    <oid>
      <Ind>
    查询 1
    为顾客购买任意产品提供享受折扣金额的查询
      </Ind>
    </oid>
    <op><Rel>折扣</Rel></op>
    <Var>顾客</Var>
    <Var>产品</Var>
    <Var>金额</Var>
  </Atom>

</Query>

</RuleML>