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]. (1994-12-16)