Concurrent constraint logic programming
Operational semantics
Programming language
Computer science
Monoid
Equivalence (formal languages)
Constraint programming
Semantics (computer science)
Constraint (computer-aided design)
Logic programming
Theoretical computer science
Constraint satisfaction
Mathematics
Constraint logic programming
Discrete mathematics
Mathematical optimization
Artificial intelligence
Probabilistic logic
Stochastic programming
Geometry
