4.18. Inference Example

In the example below, the IsAdult property is used to infer a person's age.

rule "Infer Adult"
when
  $p : Person( age >= 18 )
then
  insert( new IsAdult( $p ) )
end

This inferred relation can be used in any rule:

$p : Person()
IsAdult( person == $p )

Further, de-coupling the knowledge process decreases the chance of data leakage and third party modifications to the information.