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:
“Our argument ... will result, not upon logic by itselfthough without logic we should never have got to this pointbut upon the fortunate contingent fact that people who would take this logically possible view, after they had really imagined themselves in the other mans position, are extremely rare.”
—Richard M. Hare (b. 1919)
“If there is a price to pay for the privilege of spending the early years of child rearing in the drivers 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 woman does not have to make decisions based on the need to survive. She can cut through issues, call shots as she sees them.... Many bad decisions are made by men in government because it is good for them personally to make bad public decisions.”
—Dianne Feinstein (b. 1933)
“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 fathers house is a home of freedom and pleasure; for the latter, her husbands is almost a cloister.”
—Alexis de Tocqueville (18051859)
“The very natural tendency to use terms derived from traditional grammar like verb, noun, adjective, passive voice, in describing languages outside of Indo-European is fraught with grave possibilities of misunderstanding.”
—Benjamin Lee Whorf (18971934)