Парлог - Parlog
Парлог это язык логического программирования предназначен для эффективного использования параллельный компьютер архитектуры. Его семантика основана на логика предикатов первого порядка. Он выражает параллелизм, межпроцессного взаимодействия, неопределенность и синхронизация в пределах декларативный язык рамки.[1]
Он был разработан в Имперский колледж, Лондон Стив Грегори и Кейт Л. Кларк, как потомок IC Prolog и Реляционный язык.[2][3]
дальнейшее чтение
- Том Конлон, "Программирование в парлоге", Эддисон-Уэсли