"Lógica de Programação:a Construção de Algoritmos e Estruturas de Dados" - читать интересную книгу автора (Forbellone A.L.V., Eberspaecher H.F.)