"Artifical intelligence through Prolog" - читать интересную книгу автора (Rowe N.C.)