I agree that something as easy to embed from C or languages with C-embedding hooks would be nice.
I don't have a time frame for a C-embedded Prolog (I've already got several other projects I'm trying to finish), but it's high on my list.
I agree that something as easy to embed from C or languages with C-embedding hooks would be nice.