"From Logic Programming to Prolog" - читать интересную книгу автора (Krzysztof R. Apt)