A few other strategies for solving this problem include something along the lines of the Small Clojure Interpreter (1) and Defunctionalization (2, 3)
[1] https://github.com/borkdude/sci
[2] https://blog.sigplan.org/2019/12/30/defunctionalization-ever...
[3] https://www.cis.upenn.edu/~plclub/blog/2020-05-15-Defunction...
>JsonLogic has no setters, no loops, no functions or gotos. One rule leads to one decision, with no side effects and deterministic computation time.
Also it appears that sci is still experimental: "Experimental. Breaking changes are expected to happen at this phase. "
Sure, but one could still implement a Turin-incomplete language in S-expressions. It would be more readable and more succinct, too.
What about regular every day programming languages? When a language is posted to Hacker News we don't laugh them out of the room with "hahah! Why didn't you use S expression syntax for this language??"