在逻辑编程社区中,我听到很多人谈论“承诺选择逻辑编程语言”,但我对其定义不是很清楚。我在互联网上进行了搜索,但没有找到正式的答案(似乎与并发逻辑编程有关?)。
“承诺选择逻辑编程语言”是否只意味着“纯逻辑编程语言”加上一些不纯的操作符,例如Prolog中的
“承诺选择逻辑编程语言”是否只意味着“纯逻辑编程语言”加上一些不纯的操作符,例如Prolog中的
! , *-> , once ?
为什么它被称为“承诺选择”?
谢谢。