Concurrent Constraint Programming：A Language and Its Execution Model
廖乐健, 曹元大 · 北京理工大学学报：英文版 · 2003
To overcome inefficiency in traditional logic programming, a declarative programming language COPS is designed based on the notion of concurrent constraint programming (CCP). The improvement is achieved by the adoption of constraint-based heuristic strategy and the introduction of deterministic components in the framework of CCP. Syntax specification and an operational semantic description are presented.