Парлог
Parlog — это язык логического программирования, разработанный для эффективного использования параллельных компьютерных архитектур. Его семантика основана на логике предикатов первого порядка . Он выражает параллелизм , межпроцессное взаимодействие , неопределенность и синхронизацию в рамках декларативной языковой структуры. [1]
Он был разработан в Имперском колледже Стивом в Лондоне Грегори и Китом Л. Кларком как потомок IC Prolog и реляционного языка . [2] [3]
Дальнейшее чтение
[ редактировать ]- Том Конлон, «Программирование на Parlog», Аддисон-Уэсли
Ссылки
[ редактировать ]- ^ Эндрю Чиз, «Параллельное исполнение Парлога», Springer, 1992, ISBN 3-540-55382-7 , 184 стр.
- ^ «Программирование распределенных систем», Х. Э. Бал, стр. 91-93.
- ^ Стив Грегори, «Параллельное логическое программирование в Parlog: язык и его реализация», ISBN 0-201-19241-1 , Аддисон-Уэсли, 1987 г.
| Базы данных органов управления : Национальные |
|---|
 | Эта языкам программирования, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее . |