Logic Languages and Qt