"The Godel Programming Language (Logic Programming)" - читать интересную книгу автора (Patricia Hill, John Lloyd)