Mecanismos de Suporte à Execução Concorrente de Programas em Lógica