Логическое программирование в занимательных задачах

Abstract

Анотация от издательства: "В книге в популярной и занимательной форме рассказывается о применении ЭВМ для решения некоторых невычислительных задач. Показано, как вычислительные машины выступают соперником человека в играх, как они решают логические задачи, как с их помощью моделируется распознавание простейших образов, обсуждается использование ЭВМ в исследовании некоторого класса искусственных эволюций.