Definition and Implementation of a Concurrent Constraint Language

A concurrent constraint language COPS has been designed and implemented. It combines the techniques of the constraint objects, non-deterministic computation and constraint store. Inference control based on concurrent constraint model and rule selection policy based on priority are adopted. Declarative representation, systematic and heuristic search capability, and deterministic computation are unified in it. Preliminary applications on circuit modeling and expert decision systems indicate its applicability in information system construction based on constraints. COPS provides possibility for solutions of complex intelligent application problems.