并发逻辑编程

并发逻辑编程并发逻辑编程是逻辑编程的一种变体，其中程序是形式为受保护的霍恩条款的集合。从声明上看，受保护的Horn子句被理解为普通的逻辑暗示。然而，从...