"Foundations of Logic Programming (Symbolic Computation) " - читать интересную книгу автора (John W. Lloyd)