并发约束逻辑编程-一流百科

并发约束逻辑编程

并发约束逻辑编程并发约束逻辑编程是约束逻辑编程的一个版本，主要目的是对并发过程进行编程，而不是解决约束满足问题（或除此之外）。约束逻辑编程中的目标...