CLP*(ID:1465/clp003)

Constraint Logic Programming with abstractions 

Derivative of CLP.
Related languages
CLP => CLP*   Derivation of
References:
  • Hickey, T. "CLP* and Constraint Abstraction", pp125-133 view details
          in [ACM SIGACT-SIGPLAN] Proceedings of the 16th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, view details