Input and output

Rete 黑盒

• input: WMEs and Productions

• output: Production ... now matches these WMEs

Example

WMEs:

PM:

(find stack of two blocks to the left of a red block
  (<x> ^on <y>)
  (<y> ^left-of <z>)
  (<z> ^color red)
-->
  ...RHS...
)

w1 w3, w5 match the rule