I'm reading Guido Tack's thesis now, actually, trying to get a better sense of how constraint systems are implemented. SWI is my usual Prolog runtime, but I ha

I'm reading Guido Tack's thesis now, actually, trying to get a better sense of how constraint systems are implemented. SWI is my usual Prolog runtime, but I haven't tried running it embedded. I really like Lua's design principle of, "The language doesn't handle this particular thing well, but since it's embedded, it doesn't need to - keep the language small". A mini-Prolog could focus on what it does best, have a simple C API, and leave the rest to the surrounding language.