Abstract
This paper provides an introductory overview of Constraint Logic Programming (CLP) Languages. The first section explains the purpose of such languages and contrasts them with Logic Programming languages such as Prolog. The next section looks at Jaffar and Lassez's formal definition of a general CLP scheme. The third section describes some of the best known implementations of this scheme, looking in most detail at CLP(R) and CHIP.
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call