Constraint Programming - Logic Programming Based Constraint Logic Languages

Logic Programming Based Constraint Logic Languages

  • B-Prolog (Prolog-based, proprietary)
  • CHIP V5 (Prolog-based, also includes C++ and C libraries, proprietary)
  • Ciao (Prolog-based, Free software: GPL/LGPL)
  • ECLiPSe (Prolog-based, open source)
  • SICStus (Prolog-based, proprietary)
  • GNU Prolog (free software)
  • YAP Prolog
  • SWI Prolog a free Prolog system containing several libraries for constraint solving
  • Jekejeke Minlog (Prolog-based, proprietary)

Read more about this topic:  Constraint Programming

Famous quotes containing the words logic, programming, based, constraint and/or languages:

    Logic is not a body of doctrine, but a mirror-image of the world. Logic is transcendental.
    Ludwig Wittgenstein (1889–1951)

    If there is a price to pay for the privilege of spending the early years of child rearing in the driver’s seat, it is our reluctance, our inability, to tolerate being demoted to the backseat. Spurred by our success in programming our children during the preschool years, we may find it difficult to forgo in later states the level of control that once afforded us so much satisfaction.
    Melinda M. Marshall (20th century)

    “Next time,” said the Inventor, “a woman will be added. Beauty is easy to render because beauty is based on the rendering of beauty, but we are still working on her hips, we want her to roll them, and that is difficult.”
    Vladimir Nabokov (1899–1977)

    In America a woman loses her independence for ever in the bonds of matrimony. While there is less constraint on girls there than anywhere else, a wife submits to stricter obligations. For the former, her father’s house is a home of freedom and pleasure; for the latter, her husband’s is almost a cloister.
    Alexis de Tocqueville (1805–1859)

    No doubt, to a man of sense, travel offers advantages. As many languages as he has, as many friends, as many arts and trades, so many times is he a man. A foreign country is a point of comparison, wherefrom to judge his own.
    Ralph Waldo Emerson (1803–1882)