Constraint Logic Programming - History

History

Constraint logic programming was introduced by Jaffar and Lassez in 1987. They generalized the observation that the term equations and disequations of Prolog II were a specific form of constraints, and generalized this idea to arbitrary constraint languages. The first implementations of this concept were Prolog III, CLP(R), and CHIP.

Read more about this topic:  Constraint Logic Programming

Famous quotes containing the word history:

    The history of all hitherto existing society is the history of class struggles.
    Karl Marx (1818–1883)

    Every member of the family of the future will be a producer of some kind and in some degree. The only one who will have the right of exemption will be the mother ...
    Ruth C. D. Havens, U.S. suffragist. As quoted in History of Woman Suffrage, vol. 4, ch. 13, by Susan B. Anthony and Ida Husted Harper (1902)

    When the coherence of the parts of a stone, or even that composition of parts which renders it extended; when these familiar objects, I say, are so inexplicable, and contain circumstances so repugnant and contradictory; with what assurance can we decide concerning the origin of worlds, or trace their history from eternity to eternity?
    David Hume (1711–1776)