Currently Gentoo ships 7.5.15 as a latest version. But this is a quite old version and latest stable one - 7.6.0-rc2 brought many improvements: 7.6.x Major release. Multi-argument indexing, better multi-threaded performance, threaded global GC (atoms and clauses), mode-directed tabling, restored same expand and directive semantics for initial load and reloading files, cleaner initializatin and command line handling. (from http://www.swi-prolog.org/versions.txt ) Current version sources are available at http://www.swi-prolog.org/download/stable/src/swipl-7.6.0-rc2.tar.gz See http://www.swi-prolog.org/download/stable and http://www.swi-prolog.org/ChangeLog?branch=stable for more information
I've added 7.6.0_rc2 to portage. Thanks for prodding us about this.
