Wow, very interesting.

I'm familiar with Prolog and its implementation, but definitely didn't know all of that.