a collection of components interfacing SWI-Prolog and Qt