Параллельное программирование логики ограничений
-
Основы параллельного логического программирования с ограничениями
- Параллельное логическое программирование с ограничениями фокусируется на программировании параллельных процессов, а не на решении ограничений.
- Цели оцениваются одновременно, что позволяет интерпретатору выбирать одно предложение для реализации параллельного процесса.
- Синтаксис параллельного логического программирования включает защитные элементы, которые блокируют предложения при определенных условиях.
-
Семантические различия
- Параллельное программирование с ограничениями отличается от неконкурентного тем, что оценка цели направлена на реализацию параллельных процессов, а не на поиск решения.
- Неконкурентное программирование рекурсивно проверяет все предложения для доказательства цели, в то время как параллельное выбирает только одно.
-
Обработка ограничений
- Правила обработки ограничений являются формой параллельного программирования, но используются для упрощения ограничений или решения, а не для параллельных процессов.
-
Описание
- В неконкурентном программировании цели оцениваются последовательно, в то время как в параллельном они оцениваются одновременно.
- Параллельное программирование с ограничениями позволяет процессам принимать решения, но обязывает их выполнять после выбора.
- Если для переписывания литерала в цели можно использовать более одного предложения, параллельное программирование выбирает одно, в то время как неконкурентное пробует все.
-
Синхронизация и целенаправленность
- Синхронизация между процессами достигается через защитные элементы.
- Цель приравнивается к началу нового варианта предложения, что позволяет добавлять ограничения только в определенной форме.
-
История и рекомендации
- Изучение параллельного логического программирования с ограничениями началось в конце 1980-х годов.
- Существуют другие языки программирования, такие как Curry, которые также поддерживают параллельное программирование.
Полный текст статьи: