I used Clojure's logic programming library to write a finite state machine for solving state transitions in equity trading https://www.quantisan.com/event-driven-finite-state-machine-...

I'd love to see more real world examples too.