Grupo de estudos em lógica de programação