&ACE: a high-performance parallel Prolog system | Publicación