StackOverflow2013

Note that there are some explanatory texts on larger screens.

plurals

PO
text
Body
copied!<p>I find constraint languages interesting, but it is hard to know what constitutes forgotten or unknown. Here are some languages I know about (this is certainly not an exhaustive list of any kind):</p> <ul> <li><a href="http://www.clip.dia.fi.upm.es/Software/Ciao/" rel="nofollow noreferrer">Ciao</a>, <a href="http://www.dcc.fc.up.pt/~vsc/Yap/" rel="nofollow noreferrer">YAP</a>, <a href="http://www.swi-prolog.org/" rel="nofollow noreferrer">SWI-Prolog</a>, and <a href="http://www.gprolog.org/" rel="nofollow noreferrer">GNU Prolog</a> are all Prolog implementations. I think they are all open source. Ciao, gnu prolog, and probably the others also, as is common in Prolog implementations, support other constraint types. Integer programming for example.</li> <li><a href="http://www.mozart-oz.org/" rel="nofollow noreferrer">Mozart</a> and <a href="http://www.mozart-oz.org/" rel="nofollow noreferrer">Mercury</a> are both, as I understand it, alternative logic programming languages.</li> <li><a href="http://www.ps.uni-sb.de/alice/" rel="nofollow noreferrer">Alice</a> is more in the ML family, but supports constraint programming using the <a href="http://www.gecode.org/" rel="nofollow noreferrer">GECODE</a> C++ library.</li> </ul> <p>Drifting a little bit off topic....</p> <ul> <li><a href="http://maude.cs.uiuc.edu/" rel="nofollow noreferrer">Maude</a> is an interesting term rewrite language.</li> <li><a href="http://hol.sourceforge.net/" rel="nofollow noreferrer">HOL</a> and <a href="http://coq.inria.fr/" rel="nofollow noreferrer">COQ</a> are both mechanized proof systems which are commonly used in the languages community.</li> </ul> <p><a href="http://lambda-the-ultimate.org/" rel="nofollow noreferrer">Lambda-the-Ultimate</a> is a good place to talk about and learn more about programming languages.</p>

Querying!

Guidance

An individual column

Larger individual text columns get their own page to allow for proper reading.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload