"Logic Programming with Prolog" - читать интересную книгу автора (Bramer M.)