Known Issues with Kahina for SWI-Prolog

For known issues, check tickets in our bug tracker and TODO's in the source code.