Rule-Based Programming With Ops 5