Comment by cpill

This sounds interesting. Perhaps you could write a blog post about it? I'm always looking for use cases for Prolog