什么是承诺选择逻辑编程语言？

Question

3

在逻辑编程社区中，我听到很多人谈论“承诺选择逻辑编程语言”，但我对其定义不是很清楚。我在互联网上进行了搜索，但没有找到正式的答案（似乎与并发逻辑编程有关？）。

“承诺选择逻辑编程语言”是否只意味着“纯逻辑编程语言”加上一些不纯的操作符，例如Prolog中的

 ! ， *-> ， once ？
为什么它被称为“承诺选择”？
谢谢。

- chansey

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Raels · Answer 1

承诺选择逻辑编程是一种并发逻辑编程方法。它将蕴含式右侧的子句合取分为卫语和非卫语。可以同时探索任何特定子句，但一旦满足了任何卫语子句，只有它会继续运行，其他子句将被取消。