swi-prolog for embedded engine ?

Hi Everyone

This is my first post here.

I really hope this email will not upset anyone. Any sort of project A VS 
project B topics are likely to offend but it is also important to pick 
the right tool for the job. This is not meant as an attack.

I would like to embed prolog for use in an assisted speech device. The 
main loop will be in QT C++.  I thought I should use gprolog as it seems 
to be faster and it doesn't sound like it ships with any libraries.

Speed is not the utmost concern however, understanding the code I write is.

Someone on the freenode ##prolog IRC channel spoke favourably of SWI 
today and I am second guessing myself now.

The documentation looks excellent and it seem to have a good sized 
following.

Is SWI also a logical choice for embedded use? Is it light without it's 
libraries?

Thanks-Patrick