Lógica de Programação: múltiplos valores e módulos