"Логика и компьютер: моделирование рассуждений и проверка правильности программ" - читать интересную книгу автора (Алешина Н.А., Анисов А.М., Быстров П.И.)