OPERA Project: An Approach Towards Parallelism Exploitation on Logic Programming