What is the abbreviation for Constraint logic programming the domain real numbers?

Looking for the shorthand of Constraint logic programming the domain real numbers or how to abbreviate it? We have 2 shorthands for Constraint logic programming the domain real numbers.