Nicolog

Greg Sidebottom, Simon Fraser University, 1983

Nicolog is a CLP language with the capabilities of CLP(BNR) and most of the capabilities of cc(FD). Constraints in Nicolog are compiled into projection constraints, a generalization of the indexical constraints found in cc(FD) and clp(FD). Projection constraints add conditional operators which allow the implementation of the cardinality, blocking implication, and constructive disjunction constraints found in cc(FD).

Greg Sidebottom, "A Language for Optimizing Constraint Propagation," PhD thesis, School of Computing Science, Simon Fraser University, 1993