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