Un Interprete Parallelo per il Prolog