Have any comments about SWI-Prolog?
We welcome any bug reports!