The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic programming as the integrator of the Fifth Generation Computer Systems project
Communications of the ACM
Hi-index | 0.02 |
Constraint logic programming (CLP) is an extension of logic programming by introducing the facility of writing and solving constraints in a certain domain. CAL (Contrainte avec Logique) is a CLP language in which (possibly non-linear) polynomial equations can be written as constraints, while almost all the other CLP languages proposed so far have concentrated only on linear equations and inequations. This paper describes a general semantics of CLP including CAL, and shows the validity of CAL in this framework.