Thoughts on Rule-Based Programming
eblong.com
eblong.com
Are you aware of any prolog-like languages that integrate well with other programming languages?
Constraint programming (often bundled with Prolog) also deserve far more attention, IMHO.
SWI-Prolog can be used embedded - but I haven't any experience with the results.
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.