Thanks for posting this. One of my CompSci professors recommended at least a few times that I check out Prolog. No idea why, unless it was something peculiar about my C++ code that he was grading. Glad a tiny version of it exists like this - seems like it will be easily digestible.
You're welcome. I'm fascinated by the idea of embeddable logic programming.
As (once?) used in Windows NT network configuration