Examples of Using Data Element

Information about how Data is used can be found here. Data will not unify with Ind and Ind will not unify with Data.
<Assert>
    <And mapClosure="universal">
	
      <Implies>
        <Atom>
          <Rel>discount</Rel>
          <Var>product</Var>
          <slot>
            <Ind>percent</Ind><Data>5.0</Data>
          </slot>
        </Atom>  
        <Atom>
          <Rel>regular</Rel>
          <Var>product</Var>
        </Atom>
      </Implies>

      <Atom>
        <Rel>discount</Rel>
        <Ind>Bike</Ind>
        <slot>
          <Ind>percent</Ind><Data>5.0</Data>
        </slot>
      </Atom>
	  
   </And>
</Assert>

If we run this example in BU we see that Data and Data unify.




If we run the same example in BU but we change this part of the rule:
     <slot>
      <Ind>percent</Ind><Data>5.0</Data>
     </slot>
	
to this:
     <slot>
      <Ind>percent</Ind><Ind>5.0</Ind>
     </slot>
	

(but keep the fact unchanged) we can see that Data and Ind do not Unify.




Data and Ind will also not unify in the Top Down engine, but the examples only show the Bottom-up Engine.

Last Updated:
   August 10, 2006

By:
   Ben Craig