i see no mention of a C ABI interface - this is the one truly cross platform interface we have which has no prior dependency, and it is at the native level.
it utterly boggles my mind how this is not the first thing mentioned or used. maybe it is just in there anyway and i need to find out. will definitely take a look at this as a fan of prolog anyway. :)
SWI-Prolog provides C interface for instance...