CLP(sigma*)

CLP(sigma*)

(language)A constraint logic programming language withregular sets.

["CLP(sigma*): Constraint Logic Programming with RegularSets", C. Walinsky, Proc ICLP, 1989, pp.181-190].