clara

http://www.clara-rules.org/
dharrigan 2020-10-07T11:47:06.046800Z

Can clara be used to enforce a type of "state", i.e., something starts with a state, then moves to another state, but cannot move to a previous state?

2020-10-07T13:08:56.047100Z

@dharrigan I’d think you can model this via forward-chaining

dharrigan 2020-10-07T13:58:54.047500Z

Okay, thank you. I'll have a play 🙂

2020-10-07T19:08:26.050700Z

Like a state machine basically? It certainly could be done in Clara, although maybe something more specifically aimed at representing state machines would be simpler. Depends on the use case probably and whether it is part of your rules or the whole thing; I haven’t tried encoding any state machines “for real” before.

dharrigan 2020-10-07T19:13:42.051Z

Yes, a very very simple state machine, just a few states.

dharrigan 2020-10-07T19:13:57.051300Z

Perhaps I may just end up doing a cond 🙂