并发逻辑编程

并发逻辑编程是逻辑编程的一种变体，其中程序是形式为受保护的霍恩条款的集合。从声明上看，受保护的Horn子句被理解为普通的逻辑暗示。然而，从程序上看，当有几个子句的头部H与一个给定的目标相匹配时，所有的子句将被并行执行，检查它们的守卫G1，...，Gn是否成立。如果不止一个子句的守卫成立，那么就对其中一个子句做出承诺选择，然后执行所选子句的子目标B1,...,Bn。这些子目标也可以并行地执行。因此，并发逻辑编程实现了一种"不在乎"的非决定性，而不是"不知道"的非决定性。

xxx个并发逻辑编程语言是Clark和Gregory的关系语言，它是IC-Prolog的一个分支。后来并发逻辑编程的版本包括Shapiro的并发Prolog和Ueda的GuardedHornClause语言。当GHC被用来实现日本第五代项目（FGCS）的系统编程语言KL1时，并发逻辑编程的发展得到了推动。