Dialog is an interactive fiction programming language with Prolog-style evaluation, but rules are sort of S-exprs: https://dialog-if.github.io/manual/dialog/1c04-dev/lang/exec...