Experimental analysis of graph-based answer set computation over parallel and distributed architectures