CLP
Extension of
CLP(sigma*) (1464)
Constraint Logic Programming with Regular Sets