人工智能, 并发编程, 编程, 计算机科学, 逻辑编程并发约束逻辑编程 (Concurrent Constraint Logic Programming)CCLP, 并发, 约束, 约束逻辑编程, 编程范式