O Uso da Lógica de Programação para o Desenvolvimento do Sistema Educacional