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:

    The logic of the world is prior to all truth and falsehood.
    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)

    A marriage based on full confidence, based on complete and unqualified frankness on both sides; they are not keeping anything back; there’s no deception underneath it all. If I might so put it, it’s an agreement for the mutual forgiveness of sin.
    Henrik Ibsen (1828–1906)

    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)

    Science and technology multiply around us. To an increasing extent they dictate the languages in which we speak and think. Either we use those languages, or we remain mute.
    —J.G. (James Graham)