WikiDer > Парлог

Parlog

Парлог это язык логического программирования предназначен для эффективного использования параллельный компьютер архитектуры. Его семантика основана на логика предикатов первого порядка. Он выражает параллелизм, межпроцессного взаимодействия, неопределенность и синхронизация в пределах декларативный язык рамки.[1]

Он был разработан в Имперский колледж, Лондон Стив Грегори и Кейт Л. Кларк, как потомок IC Prolog и Реляционный язык.[2][3]

дальнейшее чтение

  • Том Конлон, "Программирование в парлоге", Эддисон-Уэсли

Рекомендации

  1. ^ Эндрю Чиз, "Параллельное исполнение Парлога", Springer, 1992, ISBN 3-540-55382-7, 184 с.
  2. ^ «Программирование распределенных систем», Х. Э. Бал, стр. 91-93
  3. ^ Стив Грегори, "Параллельное логическое программирование в Parlog: язык и его реализация", ISBN 0-201-19241-1, Эддисон-Уэсли, 1987