@misha you might try the Google Groups mailing list as well, I know some people have considered using Clara for event processing before. Regarding finite state machines, keep in mind that Clara supports arbitrary code, notably in the RHS (consequences) of rules, so the ability to introspect is limited if your application doesn’t add further restrictions.