CLP Extension of
Prolog Superset

Constraint Logic Programming (Real)

CIAL 1 Extension of
1