A fork of the GNU Prolog compiler, with multi-threading extensions