publicações CAMAndOr: An Implementation of Logic Programming Exploring Coarse and Fine Grain Parallelism Documento