Guys, I was surprise to find an SWI-Prolog missing from the shootout options. SWI is a very mature implementation of the language, it's free, and it's part of Debian distro (at least in the Debian/unstable). I've already implemented 15 or so programs in SWI-Prolog, and it would be great to see them in the shootout. Thank you, Sergei.