It’s a language for writing IF that compiles to Z-machine and it’s inspired by Inform 7 (one of the best languages of all time)… and Prolog! This sounds awesome!

Here’s the intro.