О комплементарных принципах объектно-ориентированного программирования в ограниченияхстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 24 января 2020 г.
Аннотация:Статья посвящена проблемам реализации парадигмы объектно-ориентированного программирования в ограничениях (OOCP), сочетающей в себе комплементарные идеи и принципы объектно-ориентированного программирования (OOP) и логического программирования в ограничениях (CLP). Несмотря на привлекательность идеи и известные попытки ее реализации с использованием логических и функциональных языков, до сих пор не существует единого понимания, какие конструктивные очертания она приобретет при дальнейшей проработке и развитии. Приводится обзор существующих технологий программирования в ограничениях, а также обсуждается новый системный подход к реализации OOCP на основе использования декларативных языков моделирования данных. На примере классической математической задачи о ферзях показываются преимущества подхода, связанные с выразительностью и универсальностью описания задач в ограничениях, а также определяется общая алгоритмическая стратегия для их решения.