CLP(sigma*)

CLP(sigma*)

(language)
A constraint logic programming language with regular sets.

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