4 ms·
For CP, GECODE is C++, which makes it very easy to bundle /if/ you're writing in that language. SWI-Prolog can be used embedded - but I haven't any experience
by copper 16y ago
For CP, GECODE is C++, which makes it very easy to bundle /if/ you're writing in that language.
SWI-Prolog can be used embedded - but I haven't any experience with the results.
- silentbicycle 16y agoI'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.