Fork me on GitHub
#clara
<
2020-10-07
>
dharrigan11:10:06

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?

mikerod13:10:56

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

dharrigan13:10:54

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

wparker19:10:26

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.

dharrigan19:10:42

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

dharrigan19:10:57

Perhaps I may just end up doing a cond 🙂