Known Issues with Kahina for SWI-Prolog

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