Distributed multi-threading in GNU prolog - Morgadinho, Nuno Eduardo Quaresma (2007)