Параллельное логическое программирование
-
Основы параллельного логического программирования
- Параллельное логическое программирование использует защищенные предложения Horn для параллельного выполнения программ.
- Защищенные предложения Horn представляют собой логические следствия, но выполняются процедурно параллельно.
- Если несколько предложений удовлетворяют условиям, выбирается одно и выполняется с учетом его подцелей.
- Параллельное логическое программирование реализует «безразличный недетерминизм», а не «не знаю недетерминизм».
-
История и развитие
- Первым языком параллельного логического программирования был реляционный язык Кейта Л. Кларка и Стива Грегори.
- Более поздние версии включают Concurrent Prolog Эхуда Шапиро и язык защищенных предложений Уэды Хорна.
- Параллельное логическое программирование было выбрано для проекта FGCS в Японии, который стимулировал его развитие.
- Эхуд Шапиро, изобретатель параллельного Prolog, был вдохновлен проектом FGCS и его влиянием на выбор параллельного логического программирования.
-
Дополнительные ресурсы
- Статья упоминает параллельное программирование логики ограничений и логическое программирование.
- Упоминается недетерминированное программирование как связанное с параллельным логическим программированием.
-
Рекомендации
- Упоминается статья Кларка, Л. и Грегори 1981 года, в которой описывается реляционный язык для параллельного программирования.
Полный текст статьи: