Задачи и решения 10 Prolog конкурсов - программирование на Прологе

Эта книга представляет собой сборник задач и решений первых 10 международных конкурсов по программированию на языке Prolog, проводившихся с 1994 года. Авторы — опытные исследователи и преподаватели Prolog из Бельгии и Франции — собрали наиболее интересные задачи, которые решались участниками в условиях ограниченного времени.

Книга содержит полные формулировки задач, полезные подсказки для их решения и готовые реализации на языке Prolog. Задачи охватывают различные области: алгоритмы, логические головоломки, обработку текстов, математические вычисления и другие классические темы программирования. Особенность подхода — демонстрация решений, которые могли бы быть реализованы в условиях конкурса с жесткими временными ограничениями.

Авторы сознательно используют типичные для конкурсного программирования идиомы Prolog: стратегию "generate and test", частое применение предикатов member/2, append/3, findall/3 и reverse/2. При этом они избегают динамических предикатов (за двумя исключениями) и отдают предпочтение if-then-else и once/1 вместо отсечения. Книга не является учебником по Prolog — она предполагает у читателя базовые знания языка.

Издание будет полезно как для студентов, изучающих логическое программирование, так и для опытных программистов, желающих улучшить свои навыки решения алгоритмических задач на Prolog. Задачи могут использоваться для самостоятельной практики, подготовки к конкурсам или как материал для учебных курсов.