逻辑编程 перевод

• Логическое программирование

• 逻辑编程语言:    Языки логического программирования
• 可编程逻辑控制器:    Программируемый логический контроллер
• 现场可编程逻辑门阵列:    Программируемая пользователем вентильная матрица

Примеры

有序选择类似于某些逻辑编程语言中的软截断操作符。
Упорядоченный выбор аналогичен мягкому оператору отсечения в некоторых логических языках программирования.

在并发逻辑编程语言中使用逻辑变量进行通信非常类似于future。
Использование логических переменных для взаимодействия в конкурентных языках логического программирования достаточно сходно с future.

并发逻辑变量与future类似，但是通过合一更新，与逻辑编程中的逻辑变量相同。
Параллельная логическая переменная похожа на future, но обновляется во время унификации так же, как и логические переменные в логическом программировании.