programação em lógica indutiva

•