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